function initMenu()
{
	var nodes = document.getElementById("menu").getElementsByTagName("li");
	for (var i=0; i<nodes.length; i++)
	{
		nodes[i].onmouseover = function()
		{
			this.className += " hover";
		}
		nodes[i].onmouseout= function()
		{
                        for (var x=0; x < 200; x++)
			this.className = this.className.replace(" hover", "");
		}

	}
}
if (document.all && !window.opera) attachEvent("onload", initMenu);