function show_menu(menu)
{
	document.getElementById(menu).style.visibility = "visible";
}

function hide_menu(menu)
{
	document.getElementById(menu).style.visibility = "hidden";
}