// JavaScript Document


function toggle_menu(menu_name) 
{
	var submenu = document.getElementById(menu_name);
	if (submenu.style.display == "none")
	{submenu.style.display = "";}
	else
	{submenu.style.display = "none";}
}