// JavaScript Document
function verbergGeduld() {
	document.getElementById('geduld').style.visibility = 'hidden';
}