function Ricerca() {

//Localizziamo la casella di testo del modulo Html di ricerca
//ed eseguiamo un controllo case-insensitive col metodo toUpperCase()
var stringa = document.modulo.cerca.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 la 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 titolo = id_database.recordset("titolo").value.toUpperCase( );
if (titolo.indexOf(stringa) >= 0) {
estrai += "<div><a href=" + id_database.recordset("url") + ">"
+ id_database.recordset("titolo")
+ "</a>
" + id_database.recordset("descrizione")
+ "</div>
";
}
//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;
}
}