function Ricerca() {

//Localizziamo la casella di testo del modulo Html di ricerca
//ed eseguiamo un controllo case-insensitive col metodo toUpperCase()

var stringa = document.moduloA.cercaA.value.toUpperCase();

//Creiamo un controllo per cui se la ricerca viene eseguita per nessun carattere
//verrą restituito all'utente un messaggio di avviso direttamente a video sulla pagina

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 descrizione = id_database.recordset("descrizione").value.toUpperCase();
if (descrizione.indexOf(stringa) >= 0) {
estrai += "<div>"
+ id_database.recordset("titolo")
+ "</a><br><br>" + id_database.recordset("autori")
+ "<br><br><strong>"+ id_database.recordset("descrizione")
+ "</strong><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";
return false;
}
//oppure i record trovati
else {
risultati.innerHTML = estrai;
}
}