// Fold out menu vertical in IE 6 ---------------------------------------------------------------------------------------------------------------------------
startList = function() {

// Kijken welke browser gebruikt wordt.
// Als oude browser dan via css ipv transparante png's in menu gif bestanden gebruiken.
if (typeof document.body.style.maxHeight != "undefined") {	// IE 7, mozilla, safari, opera 9

	} 
	else { // IE6, older browsers

	document.getElementById('nav').className = 'set_gif';
	
	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", "");
   }
   }
  }
 }

	}

}


window.onload=startList;