// Dit script zorgt ervoor dat een menu-item de class 'selected' krijgt als de betreffende pagina is aangeroepen.

		hrf = document.location.href
		if (document.location.hash){
			s = hrf.indexOf(document.location.hash)
			hrf = hrf.substring(0,s)
						
		}
		if (hrf.indexOf('.htm') == -1){hrf = hrf + "index.htm"}
		hrf = hrf.toLowerCase()
		
		for( i =0; i < document.links.length; i++){
			
			s = document.links[i].href.toLowerCase()
			if(hrf.indexOf(s) > -1){
				document.links[i].className = "selected"
			}
			s = s.replace("\\","/")
			if(hrf.indexOf(s) > -1){
				document.links[i].className = "selected"
			}
			
		}