function show_menu(id)
{
	document.getElementById(id).style.visibility='Visible';
}

function hide_menu(id)

{
	document.getElementById(id).style.visibility='Hidden';
}