function maj_menus(numero) {
	//alert(numero)
	element_id = "menu_" + numero;
	
	document.getElementById(element_id).className = "menu_actif";
}