function show_hide_menu(menu)
	{
		tr_object = document.getElementById("sub_" + menu);
		if (tr_object.style.display == "none") {
			tr_object.style.display = "";
		} else {
			tr_object.style.display = "none";
		}
	}