// mouseOver event voor IE.
// In CSS: li.over
function ieHover()
			{
				//alert('ieHover');
				if(document.getElementById)
				{
					navRoot = document.getElementById("nav");
					for(i = 0; i < navRoot.childNodes.length; i++)
					{
						node = navRoot.childNodes[i];
						if(node.nodeName == "li")
						{
							node.onmouseover = function()
							{
								this.className += " over";
				  			}
				  			node.onmouseout = function()
							{
				  				this.className = this.className.replace(" over", "");
				   			}
						}
					}
				}
			}
// EINDE ieHover()