// show Pics

function show_pic(file,xres,yres)
 {
  windowname = file.substring(file.lastIndexOf("/") + 1,file.length);
  if (windowname.indexOf("&") > 0) { windowname = windowname.substring(0,windowname.indexOf("&") ); }
  windowname = windowname.replace(/\./,"_");
  windowname = windowname.replace(/&/,"_");
  
  // alert(windowname+" for file " + file);
  pic_win = window.open(file,windowname,'dependent=yes,height='+yres+',width='+xres+',location=no,menubar=no,status=no');
  // pic_win = window.open(file,windowname,"dependent=yes, height="+yres+", width="+xres+", locationbar=no, menubar=no, status=no");
 }