function MM_openBrWindow(a,b,c){window.open(a,b,c)}
function MM_jumpMenu(a,b,c){eval(a+".location='"+b.options[b.selectedIndex].value+"'");if(c)b.selectedIndex=0}
function appendInputTypeClasses(){if(document.getElementsByTagName){var a=document.getElementsByTagName("input"),b=a.length;for(i=0;i<b;i++)if(a[i].getAttribute("type"))a[i].className+=" "+a[i].getAttribute("type")}};