if( document.all != null && window.opera == null )
{
  var e;
	if( (e=document.getElementById("nav_transversale")) != null )
	{
		var s = e.getElementsByTagName( "li" );
		var i = s.length;
		while(--i>=0)
		{
			s[i].onmouseover=function(){this.className+=" sfhover";};			
			s[i].onmouseout=function(){this.className=this.className.replace(new RegExp(" sfhover\\b"),"" );};
		}
	}
}