function popitup(url,opts){
 if (newwindow.location && !newwindow.closed){
  newwindow.location.href = url;
 } else {
  newwindow=window.open(url,'name',opts);
  if (!newwindow.opener) newwindow.opener = self;
 }
 if (window.focus) {newwindow.focus()}
}



var newwindow='';
function jumpto(url_list){
   var URL = url_list.options[url_list.selectedIndex].value;
   window.location.href = URL;
}


function hopto(URL){
   window.location.href = URL;
}