function showCatalogusMenu() {
	document.getElementById('mainMenu').style.display='block';
}

function hideCatalogusMenu() {
	document.getElementById('mainMenu').style.display='none';
}

function setZoekPagina(sel) {
	var option=sel.options[sel.selectedIndex].value;
	if (option=="website") {
		document.getElementById("zoekform").action="/zoeken";
	} else {
		document.getElementById("searchBox").name=option;
		document.getElementById("zoekform").action="/zoeken/catalogus";
	}
	 
}