function mouseOverImage(imggetal)    
		{        
			document.getElementById("img"+imggetal).src = "documentenmap/images/z/achtergrondover.png";    
		}      
		
	function mouseOutImage(imggetal)    
		{        
			document.getElementById("img"+imggetal).src = "js/x.gif";    
		}