// functie voor het opbouwen van het menu
function maak_menu() {

	var ultags = document.getElementById('main_navlist').getElementsByTagName("ul");

	for (var t = 0; t < ultags.length; t++){

		ultags[t].parentNode.onmouseover = function() {
			this.getElementsByTagName("ul")[0].style.visibility = "visible";
		}
		ultags[t].parentNode.onmouseout = function(){
			this.getElementsByTagName("ul")[0].style.visibility = "hidden";
		}

	}
}