<!--
function jump(menu){ 
var loc = menu[menu.selectedIndex].value; 
window.location.assign(loc); 
} 

//-->