function showMenu() {
	document.getElementById("menu").style.display = 'block';
}

function hideMenu() {
	document.getElementById("menu").style.display = 'none';
}