function Ricerca() {


var stringa = document.moduloB.cercaB.value.toUpperCase();


if ((stringa == "") || (stringa == "undefined")) {
risultati.innerHTML = "Inserire un termine per eseguire una ricerca";
return false;
}

//Ci posizioniamo ora sul primo record trovato sul file XML

id_database.recordset.moveFirst();

//In questa variabile (inizialmente vuota) costruiremo dinamicamente
//il testo opportunamente formattato dell'output della ricerca
 
var estrai = "";
 
//Eseguiamo un ciclo while() che sfoglia i record del file XML fino all'ultimo
while (!id_database.recordset.EOF) {                                            
var autori = id_database.recordset("autori").value.toUpperCase();
if (autori.indexOf(stringa) >= 0) {
estrai += "<div>"
+id_database.recordset("titolo")
+ "</a><br><br><strong>"+ id_database.recordset("autori")
+ "</strong> </a><br><br>"+ id_database.recordset("istituto-terme")
+ "<br><br>"+ id_database.recordset("descrizione")
+ "<br><br>"+ id_database.recordset("rivista")
+"</a><br><br><br><br><br>";
}
//e ci riposizioniamo all'inizio del file
id_database.recordset.moveNext();
}

//Verifichiamo che ci siano record disponibili per la ricerca
//se non ce ne sono restituiamo all'utente un messaggio di avviso
if ((estrai == "") || (estrai == "undefined")) {
risultati.innerHTML = "Nessun risultato per la ricerca - Cancella e inserisci un altro termine";
return false;
}
//oppure i record trovati
else {
risultati.innerHTML = estrai;
  

} 
}