function switch_menu(verberg, huidig){
	lijst = verberg.split(';');
	//Verberg menu
	for(i=0; i < lijst.length; i++){
		document.getElementById(lijst[i]).style.display = "none";
	}
	
	//Toon huidig menu
	document.getElementById(huidig).style.display = "block";
}