ceState(r, n, s) : history.pushState(r, n, s), document.title = n, previous_query = t
                }
            }, document.getElementById("check-mark").style.display = "none", document.getElementById("hourglass").style.display = "inline-block", s.send(t)
        }

        function renderResponse(e, t) {
            if (document.getElementById("hourglass").style.display = "none", 200 === e) {
                let a;
                try {
                    a = JSON.parse(t)
                } catch (r) 