function show_menu(display, name)
{
	document.getElementById(name).style.display = display;
}