function show(display)
{
	document.getElementById('menu_hidden').style.display = display;
}