function tonen(divID)
	{
		document.getElementById(divID).style.display = "block";
	}
	function verbergen(divID)
	{
		document.getElementById(divID).style.display = "none";
	}