function jumpto(x){
  if (document.form1.jumpmenu.value != "null") {
    document.location.href = x
      }
}