divHover = function() 
{
	var menu = document.getElementById("menu");
	if(menu != null)
	{
		var sfEls = menu.getElementsByTagName("div");
		if(sfEls != null)
		{
			for (var i=0; i<sfEls.length; i++) 
			{
				sfEls[i].onmouseover=function() 
				{
					this.className+=" divhover";
				}
				sfEls[i].onmouseout=function() 
				{
					this.className=this.className.replace(new RegExp(" divhover\\b"), "");
				}
			}
		}
	}
}

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