var nb_menu = 3;

function disp_ss_menu(ss_menu){
	document.getElementById(ss_menu).style.display = "block";
}	
	
function hide_ss_menu(ss_menu){
	document.getElementById(ss_menu).style.display = "none";
}

function showMenu(menu){

	hideMenu();
	document.getElementById(menu).style.display = "block";
	
}

function hideMenu(){	
	for (i=0; i<=nb_menu; i++){
		document.getElementById("menu" + i).style.display = "none"
	}
}