sS js_appendToDiv(S divID, S contents) {
  ret replaceDollarVars_js([[
    {
      var div = document.getElementById($divID);
      if (div)
        div.insertAdjacentHTML('beforeend', $contents);
    }
  ]], +divID, +contents);
}