async function update() {
  const html = await (await fetch("/update")).text();
  document.querySelector("#top").innerHTML = html.split("\n").slice(0, 1)[0];
  document.querySelector("#program").outerHTML = html.split("\n").slice(1).join("\n");
}

setInterval(() => {
  update()
}, 5000);