function do_menu(id) {
	var currentStyle = document.getElementById(id).style.display;
	if (currentStyle == "block") {
		document.getElementById(id).style.display = "none";
	} else {
		document.getElementById(id).style.display = "block";
	}
}