function initMenu() {
	var nodes = document.getElementById("menu");
	if(nodes) {
		nodes = nodes.getElementsByTagName("li");
		for (var i=0; i<nodes.length; i++) {
			nodes[i].onmouseover = function() { this.className += " hover";}
			nodes[i].onmouseout = function() { this.className = this.className.replace(" hover", "");}
		}
	}
}
if (document.all && !window.opera) attachEvent("onload", initMenu);