function resize(height) {
		document.getElementById("navigatie").style.height = height + "px";
}