  <!--
  function redir(myList){
    if(newURL=myList.options [myList.selectedIndex ].value)
      document.location=newURL;
  }
  //-->