function jumpTo(pageSelected) {
   newPage=pageSelected.options[pageSelected.selectedIndex].value
   if (newPage!="") {
      window.location.href=newPage
   }
}