function optionMenu() {
  location.href=om.elements['sl'].options[om.elements['sl'].selectedIndex].value;
}