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 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 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><br>" + id_database.recordset("descrizione")
            + "</div><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;
      }
}