function navigation()
{
	this.display = function display(menu)
	{
		document.getElementById(menu).style.display = "block";
	}


	this.hide = function hide(menu)
	{
		document.getElementById(menu).style.display = "none";
	} // function hideMenu(menu)
}

navigation = new navigation();