//Fonction d'affichage des menus

var open = 0;

function menu(elt) {
	var id = elt.id.substring(4,6);
	if(id != open) {
		if(open != 0) {
			document.getElementById('menuderoulant'+open).style.visibility = 'hidden';
		}
		document.getElementById('menuderoulant'+id).style.visibility = 'visible';
		open = id;
	}
}