JHFHover = function() 
{
	var JHFEls = document.getElementById("menue").getElementsByTagName("LI");
	for (var i=0; i<JHFEls.length; i++) 
	{
		JHFEls[i].onmouseover=function() 
		{
			this.className+=" JHFhover";
		}
		JHFEls[i].onmouseout=function() 
		{
			this.className=this.className.replace(new RegExp(" JHFhover\\b"), "");
		}
	}
}
if (window.attachEvent) window.attachEvent("onload", JHFHover);