const INNER = document.getElementById("inner")!;
const REFRESH_SECONDS = 10;

function update() {
    fetch("inner")
        .then(response => response.text())
        .then(text => {
            INNER.innerHTML = text;
            let count = document.getElementById("queue")?.dataset["count"]!;
            document.title = document.title.replace(/^queue \(\S+\)/, `queue (${count})`);
        });
}

setInterval(update, REFRESH_SECONDS * 1000);