ht_geheugen=''
stijl=''
	function tonen(ht){
		if(ht_geheugen!='')document.getElementById(ht_geheugen).style.display='none'
		if(ht_geheugen!=ht){
			ht_geheugen=ht
			document.getElementById(ht_geheugen).style.display=''
			}
		else ht_geheugen=''
	}