"></p>
        <p id="logo-container"></p>
    </body>

    <script type="text/javascript"> let request_num = 0;
        var querybox = document.getElementById("query"), querypresets = document.getElementById("dropdown");
        querypresets.onchange = function () {
            var e = querypresets.options[querypresets.selectedIndex].value;
            querybox.value = e
        };
        let previous_query = "";
        const current_url = new URL(window.location), server_address = current_url.searchPara