 d.innerHTML = message;
      document.getElementById("log").appendChild(d);
    };

    function clearLog() {
      const node = document.getElementById("log");
      while (node.hasChildNodes()) {
        node.removeChild(node.lastChild);
      }
    }

    function initProgressCallback(report) {
      document.getElementById("rpc-progress-tracker-label").innerHTML = report.text;
      document.getElementById("rpc-progress-tracker-progress").value = report.progress * 100;
    }

    function connectRPC() 