function navi(myURL) {
      url = myURL.options[myURL.selectedIndex].value;
      if(url != "") {
      location.href = url;
       }
     }