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

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