function FP_jumpMenu(el,frm,sel) {var href=el.options[el.selectedIndex].value; if(sel) el.selectedIndex=0;if('_new'==frm) open(href); else eval(frm+".location='"+href+"'");}