var old_num;

function act_lettre (lettre) {
	if (document.getElementById("num"+lettre)) {
		document.getElementById("num"+lettre).className ="lettre_on";
	}
}

function desact_lettre (lettre) {
	if (document.getElementById("num"+lettre)) {
		if (lettre != old_num){
		document.getElementById("num"+lettre).className ="lettre";
		}
	}
}