function setfocus() { document.f.query.focus(); }

function setfocus() { document.sf1.p.focus(); }

function MM_jumpMenu(targ,selObj,restore){ //v3.0
eval(targ+".location='"+selObj.options[selObj.selectedIndex].value+"'");
if (restore) selObj.selectedIndex=0;
}