// menus.js


startList = function() {
	if (document.all&&document.getElementById) {
		navRoot = document.getElementById("hoofdmenulist");
		for (i=0; i<navRoot.childNodes.length; i++) {
			node = navRoot.childNodes[i];
			if (node.nodeName=="LI") {
				var oldClassName="";
				node.onmouseover=function() {
					oldClassName=this.className;
					this.className="iehover";
				}
				node.onmouseout=function() {
					this.className=oldClassName;
				}
			}
		}
	}
}
window.onload=startList;