function menu(links) {
     location.href = links[links.selectedIndex].value;
  }