
   function jump(form) {
   var myindex=form.menu.selectedIndex
   if (form.menu.options[myindex].value != "0")
   {
      window.open(form.menu.options[myindex].value,
      target="_win");
   }}//-->

