function show_submenu(submenu_id) {
	var submenu = document.getElementById(submenu_id);
	if (!submenu) return;
	if (submenu.style.display=='block') submenu.style.display='none';
	else submenu.style.display='block';
}