window.onload = initNav;

function initNav()
{

   var ids = new Array("nav");

   for(var i = 0; i < ids.length; i++)
   {
       var sfEls = document.getElementById(ids[i]).getElementsByTagName("LI");
       for (var i = 0; i < sfEls.length; i++) {
           sfEls[i].onmouseover = function() {
               if(!this.oldClassName)
                   this.oldClassName = this.className.replace(new RegExp("\\bsfhover\\b"), "");
               this.className += " sfhover";
           }
           sfEls[i].onmouseout = sfEls[i].onclick = function() {
               this.className = this.oldClassName;
           }
       }
   }
}