sS hSilentComputator() {
  ret hjavascript_src_snippet(#1013374) // ReconnectingWebSocket
    + hjavascript(replaceIf(subBot_isHttps(), "ws://", "wss://", [[
        var ws = new ReconnectingWebSocket("ws://" + domain() + "/");
        ws.onmessage = function(event) {
          var d = event.data;
          while (d.length > 0 && d.charCodeAt(d.length-1) == 0)
            d = d.substring(0, d.length-1);
          eval(d);
        };
    ]]));
}