function menu_behavour(name, status) {
				var theDiv = document.getElementById(name);
				theDiv.style.visibility=status
			}