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

	var ku = document.getElementById('knopuitleg2');
	if(ku)
		ku.innerHTML = txt;
}