// JavaScript Document

function goToPage(){
chosen = document.pgmnav.shortcuts.options.selectedIndex;
whichPage = document.pgmnav.shortcuts.options[chosen].value;
      if(whichPage != ''){
           window.location.href = whichPage;
      }
}