window.onload = function()
{
	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 = function() {
				this.className = this.oldClassName;
			}
		}
	}
}