function ToggleMenuVisibility(menu)
{
	if (document.getElementById(menu).style.visibility == 'visible')
		document.getElementById(menu).style.visibility = 'hidden';
	else
		document.getElementById(menu).style.visibility = 'visible';
}

function MenuProof(menu)
{
	window.setTimeout(function(){iMenuProof(menu)}, 300);
}

function iMenuProof(menu)
{
	menu = document.getElementById(menu);
	if (menu.style.visibility == "visible")
		menu.style.visibility = "hidden";
}

function ElementVisibilityHide(element)
{
	document.getElementById(element).style.visibility = 'hidden';
}