// Fetching the run value for the first time
fetch ("run.txt")
    .then(x => x.text())
    .then(y => document.getElementById("run").innerHTML = y);
// Fetching the block value for the first time
fetch ("block.txt")
    .then(x => x.text())
    .then(y => document.getElementById("blocked").innerHTML = y);
async function refresh(){
    // Refresh the HTML to show the spinners
    document.getElementById("run").innerHTML = "<span class=\"spinner-grow\"></span>"
    document.getElementById("blocked").innerHTML = "<span class=\"spinner-grow\"></span>"
    // Then fetch the values the same way as on the first part of the script.
    fetch ("run.txt")
        .then(x => x.text())
        .then(y => document.getElementById("run").innerHTML = y)
    fetch ("block.txt")
        .then(x => x.text())
        .then(y => document.getElementById("blocked").innerHTML = y);
}