function mySelect(myURL)
{
  window.location.href = myURL.options[myURL.selectedIndex].value;
}