var menu_box;
var command;

function menu(menu_box, command){
	if(command == "show"){
		document.getElementById(menu_box).style.visibility = "visible";
	}
	else{
		document.getElementById(menu_box).style.visibility = "hidden";
	}
}