function leapto(pulldown) 
   {
   var myindex=pulldown.selectedIndex;
   if (myindex>=0)
      { top.location=pulldown.options[myindex].value; }
   }

function redirect(URL)
     {
       document.location=URL;
       return false;
     }