sS js_addToHead(S html) {
  ret replaceDollarVars_js([[
    (function() {
      var target = document.querySelector("head");
      target.insertAdjacentHTML("beforeend", $html);
      nodeScriptReplace(target);
    })(); ]], +html);
}