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