function show_menu(id) {
	submenu = 'submenu' + id;
	menu = document.getElementById(submenu);
	if (menu.style.display == 'none') {
		menu.style.display = 'block';
	}
	else {
		menu.style.display = 'none';
	}
}