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;
		}
	}
}