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 url = id_database.recordset("url").value.toUpperCase();
         if (url.indexOf(stringa) >= 0) {
           estrai +=  + id_database.recordset("par") +"<br>"  
            + id_database.recordset("url")
            + "<br>" + id_database.recordset("titolo")
            + "</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;
       }
}