function readTextFile(file, callback) {
        var rawFile = new XMLHttpRequest();
        rawFile.overrideMimeType("application/json");
        rawFile.open("GET", file, true);
        rawFile.onreadystatechange = function() {
            if (rawFile.readyState === 4 && rawFile.status == "200") {
                callback(rawFile.responseText);
            }
        }
        rawFile.send(null);
    }
 
    //fetch("database.json")
    //then(response => response.json())
    //.then(data => {
            //const user = data.classe1;
            //const elencoStudentiDiv = document.getElementById("userInfo");
            //elencoStudentiDiv.innerHTML = "";
            //const paragrafo = document.createElement("p");
            //paragrafo.textContent = `Nome: ${user.classe1.nome}, Cognome: ${user.classe1.alunno2.cognome}`;
            //elencoStudentiDiv.appendChild(paragrafo);
        //;
    //})
    function print(printed){
        let userInfo = document.getElementById('userInfo'); //riferimento al mio elemento button
        userInfo.innerHTML += ("<output>" + printed + "</output>"); //aggiunta risultato operazione nel mio div
    }
    readTextFile("database.json", function(text){
        let data = JSON.parse(text);
        console.log(data);
        print(data);
    });