function toon_uitleg(txt) {
	var ku = document.getElementById('knopuitleg');
	ku.innerHTML = txt;
}