<!-- Klik Menu functie's
var openmenu 	= null;
var out 	= null;

function check(name) {
	openmenu='';
	setTimeout("hide('"+name+"')",400);
	}

function show(id) {
	hideall();
	document.getElementById(id).style.visibility="visible";
	openmenu=id;
	}

function hide(id) {
	if (openmenu!=id) {
	document.getElementById(id).style.visibility="hidden";
	}
}
//-->