<!--
function jumpMenu() {
     location=document.forms[0][0].options[document.forms[0][0].selectedIndex].value;
 }
//-->