//---------------------------------ZOOM FUNCTIEs---------------------------------------------------------------------------------------//
	var z=1;
	function inzoomen(){
		z=z+.1;document.body.style.zoom=z;}
	function uitzoomen(){
		z=z-.1;document.body.style.zoom=z;}
//---------------------------------EINDE ZOOM FUNCTIE------------------------------------------------------------------------------//
	
//---------------------------------LASTMODIFIED FUNCTIE---------------------------------------------------------------------------------------//	
	function lastModified() { 
		var modiDate=new Date 
		(document.lastModified) 
		var showAs=modiDate. 
		getDate()+"/" + 
		(modiDate.getMonth()+1) 
		showAs+="/"+modiDate.getYear() 
		showAs+=" om " +modiDate.getHours()+":"+modiDate.getMinutes() 
		return showAs 
	} 
//---------------------------------EINDE LASTMODIFIED FUNCTIE------------------------------------------------------------------------------//