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