// JavaScript Document
function MM_jumpMenu(){ //v3.0
document.getElementById('f1').submit();
}