
function menuHover(elementIdentifier) {

		var menu = document.getElementById( elementIdentifier );

		if (null == menu) return;
		 
		var sfEls = menu.getElementsByTagName("LI");
	
		for (var i=0; i<sfEls.length; i++) {
			sfEls[i].onmouseover=function() {
				hoverOver(this);
			}
			sfEls[i].onmouseout=function() {
				hoverOut(this);
	 		}
	 	}
	
}

function hoverOut(node) {
	node.className=node.className.replace(new RegExp("sfhover\\b"), "");
}

function hoverOver(node) {
	node.className+=" sfhover";
}
