function hide_menu() {
	for (var i = 1; i<=10; i++) {
		if (document.getElementById('ss_menu'+i)) {document.getElementById('ss_menu'+i).style.display='none';}
	}
}

function show_menu(id) {
	var d = document.getElementById(id);
	hide_menu();
	if (d) {d.style.display='block';}
}