function makeMenuWorkInIE(){if(document.all&&document.getElementById){var navRoot,node;if(navRoot=document.getElementById("topnav")){for(var i=0;i<navRoot.childNodes.length;i++){node=navRoot.childNodes[i];if(node.nodeName=="LI"){node.onmouseover=function(){this.className+=" over";};node.onmouseout=function(){this.className=this.className.replace(" over","");};}}}}}