function initNav()
{
	var nav = document.getElementById("nav");
	if(nav)
	{
		var lis = nav.getElementsByTagName("a");
		for (var i=0; i<lis.length; i++)
		{
			lis[i].onmouseover = function()
			{
				this.parentNode.className += " hover-nav";
			}
			lis[i].onmouseout = function()
			{
				this.parentNode.className = this.parentNode.className.replace(" hover-nav", "");
			}
		}
	}
}
if (window.addEventListener)
	window.addEventListener("load", initNav, false);
else if (window.attachEvent)
	window.attachEvent("onload", initNav);