var bN=navigator.appName=="Netscape"? 1:0;var rS=0; var timeOut;var timeOut2; var timeDelay=700;var mWidth;function menu(){var x=document.getElementById("bodySelect");rS=x ? x.getElementsByTagName("SELECT") : 0;var y=document.getElementById("menu"); setH(y);if(bN)return; mWidth=y.offsetWidth;x=y.getElementsByTagName("LI");for (var i=0;i<x.length;i++) {var y=x[i].getElementsByTagName("UL");if(y.length) {x[i].onmouseover=function(){showM(this)}; x[i].onmouseout =function(){hideMbase(this)}; x[i].onmouseleave=function(){hideMleft(this)}; y[0].onmouseleave=function(){showSub(this)};}}}function showM(a){var z=a.getElementsByTagName("UL");if(z.length)   z[0].style.display="block";a.firstChild.style.color="#B90000"; if(!bN) hvS(0);}function hideMbase(a){var z=a.getElementsByTagName("UL");if(z.length)   z[0].style.display="none";if(!bN) hvS(1);}function hideMleft(a){if(window.event.x<mWidth) {var z=a.getElementsByTagName("UL"); if(z.length)  z[0].style.display="none"; a.firstChild.style.color="black"; a.firstChild.style.background="#FDFDFD";if(!bN) hvS(1);}}function hvS(b){if(!rS) return; for(var i=0;i<rS.length;i++)     rS[i].style.visibility=b ? "visible" : "hidden";}function hvS_2(){if(!rS) return; for(var i=0;i<rS.length;i++)     rS[i].style.visibility="visible";clearTimeout(timeOut2);}function setH(a){if(bN) return; var oTop=a.offsetTop; var mH=a.clientHeight; var x=a.getElementsByTagName("UL"); var oneH=x[0].parentNode.clientHeight; for(var i=1;i<x.length;i++) {var y=x[i].parentNode.offsetTop; var z=x[i].getElementsByTagName("UL"); if(!y || z.length) {continue; }else {var z=x[i].getElementsByTagName("LI"); var iH=parseInt(oneH * z.length);if(mH + oTop<iH)  {var t=parseInt( -1 * (y + oTop));x[i].style.top=t;continue;}var t=y + iH <= mH ? 0 : mH - y - iH;x[i].style.top=t; }}}var sub;function showSub(a){if(window.event.x<mWidth) return; a.style.display="block";hvS(0);sub=a; timeOut=setTimeout("fEm()",   timeDelay); timeOut2=setTimeout("hvS_2()", timeDelay);}function fEm(){sub.style.display="none"; sub.parentNode.firstChild.style.color="black"; sub.parentNode.firstChild.style.background="#FDFDFD"; clearTimeout(timeOut);}