function zoom(file){
  var p=window.open('zoom.cgi?file='+file,'preview_window',"width=400,height=400,top=0,left=0,location=0,toolbar=0,directories=0,status=0,menubar=0,scrollbars=0,resizable=1,fullscreen=0");
  if(p)p.focus();
  return false;
}