function jumpto(form) {
       var myindex=form.dest.selectedIndex
       window.open(form.dest.options[myindex].value,
        target="_top");
  }