// These are the utility Javascript routines used by all of the pages

    function passOver(graphic, message)
    {
      document.menuGraphic.src = "graphics/" + graphic + ".gif";
      window.status = message;
      return true;
    }

    function passOut()
    {
      document.menuGraphic.src = "graphics/menu.gif";
      window.status = "";
    }
    
    function newWindow(fileName)
    {
      newWin=window.open(fileName,'newWin','toolbar=0,status=0,scrollbars=1,width=250,height=250');
      newWin.focus();
    }
    
    function goTo()
    {
      var destIndex = document.menuForm.itemList.selectedIndex;
      var destination = document.menuForm.itemList.options[destIndex].value;

      if (destination != "dummy")        // do nothing for dummy
        window.location = destination;   // else send browser to new page
    }