var idList = new Array("header");

function initMenu()
{
	for (var k = 0; k < idList.length; k++) {
		var nodes = document.getElementById(idList[k]).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);