          function refreshHljs() {
                document.querySelectorAll('pre code').forEach((block) => {
                    hljs.highlightElement(block);
                });
            }

            function addResult(title, input, output) {
                $("#result").append($("<p><b>" + title + "</b></p>"));
                input && $("#result").append($("<pre><code class='json'>" + input + "</code></pre>"));
                output && $("#result").append($("<pre><code class='json'>" + output + "<