function help_window (file)
{
  window.open ("/help/" + file + ".html", "help_window", "width=240, height=160, statusbar=0, location=0, menubar=0");
  
}