function viewSource(pattern,start,offset,wname){
  var url = "/OpenBSD4.2/HTML/S/search.php";
  var win;
  url += "?filename=" + pattern;
  url += "&start=" + start;
  url += "&offset=" + offset;
  win = window.open(url,wname);
  win.focus();
}