function resetMenu() {
	var element;
	element = document.getElementById('menu');
	
	element.style.visibility = 'hidden';
}

function showMenu() {
	var element;
	element = document.getElementById('menu');
		
	element.style.visibility = 'visible';
}