        over = function() {
        	var menuEls = document.getElementById("menu").getElementsByTagName("LI");
        	for (var i=0; i<menuEls.length; i++) {
        		menuEls[i].onmouseover=function() {
        			this.className+=" over";
        		}
        		menuEls[i].onmouseout=function() {
        			this.className=this.className.replace(new RegExp(" over\\b"), "");
        		}
        	}
        }
        if (window.attachEvent) window.attachEvent("onload", over);
