(function() { document.write(`render(); ?>`.replaceAll('$', '\$')); })();