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