function menu(nav_list)
{
	if (document.getElementById(nav_list).style.display == 'none')
	{
		document.getElementById(nav_list).style.display = "block";
	}
	else
	{
		document.getElementById(nav_list).style.display = "none";
	}
}