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

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