function show_menu(self, menu) {
	document.getElementById(menu).style.visibility = 'visible';
}

function hide_menu(menu) {
	document.getElementById(menu).style.visibility = 'hidden';
}