// startList generates a onMouseOver event for each menu item, to create a pulldown menu
startList = function() {
 if (document.all&&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", "");
    }
   }
  }
 }
}

// hideVernieuwd sets the style property of the vernieuwd items to display:none
hideVernieuwd = function() {
 vern = document.getElementById("vernieuwd");
 vern.style.display='none';
}