str(1))), document.getElementById("run").onclick = function () {
            post()
        }, document.onkeydown = function (e) {
            (e.metaKey || e.ctrlKey) && (13 == e.keyCode || 10 == e.keyCode) && post()
        };
        let user_prefers_tab_navigation = !1;

        function clearElement(e) {
            let t = document.getElementById(e);
            for (; t.firstChild;) t.removeChild(t.lastChild);
            t.style.display = "none"
        }

        function clear() {
            clea