// JavaScript Document

function menu_show(a) {
	var d = document.getElementById(a);
	d.style.display = "block";
}

function menu_hide(a) {
	var d = document.getElementById(a);
	d.style.display = "none";
}