function popupWindow(url){window.open(url,'popupWindow','toolbar=no,location=no,directories=no,status=no,menubar=no,scrollbars=no,resizable=yes,copyhistory=no,width=100,height=100,screenX=50,screenY=120,top=120,left=50')}
function jump(menu){var loc=menu[menu.selectedIndex].value;window.location.assign(loc);}