var tempid = "default";

function change_menu( id){
	document.getElementById("menu_"+tempid).style.display = "none";
	document.getElementById("menu_"+id).style.display = "block";
	if( tempid != "default")	
		document.getElementById(tempid).className = tempid;
	document.getElementById(id).className = id+"_actif";
	tempid = id;
}

function affiche_legend( id){
	document.getElementById(id).style.display = "block";
	if( tempid != "default" && tempid != id) document.getElementById(tempid).style.display = "none";
	tempid = id;
}