function getpn(s) {var a = s.split('/'); return a[a.length-2]+a[a.length-1];}
function setMenu(a,p) {for(var i=0;i<a.length;i++) { var l=a[i]; if(getpn(l.href)==p){l.className=l.parentNode.parentNode.parentNode.firstChild.className="highlight";}}}
function setPage() {setMenu(document.getElementById("menu").getElementsByTagName("a"),getpn(document.location.href?document.location.href:document.location)); }
function hoverfix() {var l=document.getElementById("menu").getElementsByTagName("LI"); for (var i=0;i<l.length;i++) {l[i].onmouseover=function() {this.className="hover"}; l[i].onmouseout=function(){this.className=""};}}
if (window.attachEvent) window.attachEvent("onload", hoverfix);