function jumpPage(newLoc)
  {
   newPage = newLoc.options[newLoc.selectedIndex].value;
   if (newPage != "")
    {
      window.location = newPage;
    }
   }