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()

		{

			this.className = this.className.replace(" hover", "");

		}

	}

}

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