// Open a new window that will load the specified help file.
function help_win(file) {
  window.open(file, "HelpWindow", "menubar=no,scrollbars=yes,toolbar=no,width=500,height=300");
}

function openWin(url) {
  window.open(url, "", "");
}