function subp() { var number = document.sub.menu.selectedIndex;
  location.href=document.sub.menu.options[number].value; }