!7

html {
  if (eq(uri, "/worker.js"))
    ret [[
      document.getElementById("result").innerHTML = "WORKING! Watch your CPU.";
      while (true) {}
    ]];
    
  ret 
    p("Count numbers: " + hfulltag("output", "", id := "result"))
    
  + hjavascript([[
    if (typeof(Worker) === "undefined") {
      document.getElementById("result").innerHTML = "Sorry, your browser does not support Web Workers...";
      return;
    }
    document.getElementById("result").innerHTML = "Making web worker";
    var worker = new Worker($LINK);
    worker.postMessage();
  ]]).replace("$LINK", jsQuote(relativeRawBotLink(programID(), "worker.js"));
}