function optionMenu(opt) {
  location.href = opt.options[opt.selectedIndex].value;
}