function selectMenu(url) {
  location.href = url.options[url.selectedIndex].value;
}