function ShowMenu(themenu)
	{
	HideMenu();
	var el = document.getElementById(themenu);
	if (el)
		{
		el.style.visibility = 'visible';
		}
	}
function HideMenu(themenu)
	{
	var el = document.getElementById(themenu);
	if (el)
		{
		el.style.visibility = 'hidden';
		}
	}