// JScript File
window.onload = function fixHover()
{
	if (document.all && document.getElementById && document.getElementById("menu"))
	{
		var menu = document.getElementById("menu");
		var children = menu.getElementsByTagName("li");
	
		for (var i = 0; i < children.length; i++)
		{
			node = children[i];
			
			node.onmouseover = function()
			{
				this.className = (this.className.length == 0) ? "hover" : this.className + "-hover";
			}
			node.onmouseout = function()
			{
				this.className = (this.className == "hover") ? "" : this.className.replace("-hover", "");
			}
		}
	}
}