function show_menu(id)
{
	document.getElementById('menu_'+id).style.visibility = "visible";
}

function hide_menu(id)
{
	document.getElementById('menu_'+id).style.visibility = "hidden";
}