var onloadEvents = new Array();
window.onload = function()
{
	for(var i = 0; i < onloadEvents.length; i++)
		onloadEvents[i]();
}

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].oldClassName = sfEls[i].className ? sfEls[i].className : "";
			sfEls[i].onmouseover = function()
			{
				this.className = this.oldClassName + " sfhover";
			}
			sfEls[i].onmouseout = sfEls[i].onclick = function()
			{
				this.className = this.oldClassName;
			}
		}
	}
}

onloadEvents.push(initNav);
