// JavaScript Document

function showmenu(menu) {
	document.getElementById('menu1').style.visibility = 'hidden';
	document.getElementById('menu2').style.visibility = 'hidden';
	document.getElementById('menu3').style.visibility = 'hidden';

	document.getElementById(menu).style.visibility = 'visible';
}

function hidemenu() {
	document.getElementById('menu1').style.visibility = 'hidden';
	document.getElementById('menu2').style.visibility = 'hidden';
	document.getElementById('menu3').style.visibility = 'hidden';
}