Unnamed

function mouse_over()
{
	this.className = "iehover";
}

function mouse_out()
{
	this.className = "";
}

function navHover() {
	var menus = document.getElementById("leftmenu").getElementsByTagName("LI");
	
	for (var i=0; i<menu.length; i++)]
	{
		menus[i].onmouseover = mouse_over;
		menus[i].onmouseout = mouse_out;
	}
}

if (window.attachEvent)
	window.attachEvent("onload", navHover);