function initJumpMenus(){var selectElements=document.getElementsByTagName("select");for(i=0;i<selectElements.length;i++){if(selectElements[i].className=="jumpmenu"&&document.getElementById(selectElements[i].id)!=""){jumpmenu=document.getElementById(selectElements[i].id);jumpmenu.onchange=function(){if(this.options[this.selectedIndex].value!=''){location.href=this.options[this.selectedIndex].value;}}}}}