function display_menu(menu_obj)

{

	menu_obj=document.getElementById(menu_obj);

	for (var i=1;i<=3;i++)
	{

		document.getElementById("menu"+i).style.display = "none";

	}

	menu_obj.style.display = "";

}
function display_menus(menu_obj1)

{

	menu_obj1=document.getElementById(menu_obj1);

	for (var i1=1;i1<=4;i1++)
	{

		document.getElementById("menus"+i1).style.display = "none";

	}

	menu_obj1.style.display = "";

}