<!--


 function window_open(filename, x, y, target)
  { windowops = eval("'toolbar=no,location=no,directories=no,status=no,menubar=no,scrollbars=no,resizable=yes,copyhistory=no,width=" + x + ",height=" + y + "'");
    newwindow=window.open(filename, target, windowops);
    return;
  }


-->