function sfHover() {

// We need it only for IE:
//alert(navigator.appName);
if (navigator.appName == "Microsoft Internet Explorer") {
               var conta=0;
               var i=0;
               var sfEls = document.getElementById("navigator").getElementsByTagName("li");
			   var arrayID = new Array();
			   
			   for (i=0; i < sfEls.length; i++) {
                   arrayID[conta] = sfEls[i];
				   conta = conta + 1;
               }

               for (i=0; i < conta; i++) {
                    arrayID[i].onmouseover = function()
                    {
                         this.className += " sfhover";
                    }
                    arrayID[i].onmouseout = function()
                    {
                         this.className = this.className.replace(new RegExp("sfhover\\b"), "");
                    }
               }
}

}// end function