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