function formHandler(form){
var URL = document.rightnav.jump.options[document.rightnav.jump.selectedIndex].value;
window.location.href = URL;
}

function pop(thisurl,options){ popup=window.open(thisurl,"popup",options) }