if (window.attachEvent) window.attachEvent("onload", sfHover); 
else window.addEventListener('load',sfHover,false); 

function sfHover() 
{ 
	var regSfUL = /\bnav\b/; 
	var ULs, UL, LIs, LI, i=j= -1; 
	ULs = document.getElementsByTagName("ul"); 

	while( UL=ULs[++i] )
	{
		if( regSfUL.test(UL.className) )
		{
			j = -1;
			LIs=UL.getElementsByTagName("li");
			while( LI=LIs[++j] )
			{
				LI.onmouseover = over;
				LI.onmouseout = out;
			}
		}
	}

	function out()
	{
		this.className=this.className.replace(/sfhover\b/, "");
	}
	
	function over()
	{
		this.className+=" sfhover";
	}

}