function menuHighlight(htmlItem, highLight){
	for (var i=0; i <= htmlItem.childNodes.length - 1; i++){
		var childNode = htmlItem.childNodes[i];
		if (childNode.id!=undefined){
			if (highLight){
				childNode.className = childNode.className + 'Highlight';}
			else{
				var s = new String(childNode.className)
				s = s.replace("Highlight", "");
				childNode.className = s;}}}}