function disp_foto(nome){
var adrfoto = "basiliche/gaf_basiliche/" + nome;
                     document.f.foto.src = adrfoto;
                                   }