function tr_colore(elt) {	
	elt.style.backgroundColor='#D4DFE9';
}

function tr_decolore(elt) {	
	elt.style.backgroundColor='';
}