function use_letra( str ) {
	document.filtro_letras.fto_lt.value=str;
}