<button>Send</button>
        </form>
        <ul id='messages'>
        </ul>
        <script>
            var client_id = Date.now()
            document.querySelector("#ws-id").textContent = client_id;
            var ws = new WebSocket(`ws://localhost:8000/ws/${client_id}`);
            ws.onmessage = function(event) {
                var messages = document.getElementById('messages')

        }.newDocumentBuilder()
            .parse(url)
            .getElementsByTagName("version").let { versions ->
                (0 until versions.length)
                    .map { idx -> (versions.item(idx) as Element).textContent }
                    .reversed()
            }

    protected
    fun updateProperties(populateProperties: Properties.() -> Unit) =
        PropertiesUtils.store(
            Properties().apply(populateProperties),

 *
 * // Get child text content
 * String version = parent.child("version")
 *     .map(Element::textContent)
 *     .orElse(null);
 *
 * // Get trimmed text content
 * String trimmedVersion = parent.child("version")
 *     .map(Element::textContentTrimmed)
 *     .orElse(null);
 *
 * // Set text content (fluent API)
 * element.textContent("4.0.0");
 * }</pre>
 *
 * <h2>When to Use DomUtils</h2>

     */
    async type(line) {
        const chars = [...line.textContent];
        line.textContent = '';
        this.container.appendChild(line);

        for (let char of chars) {
            const delay = line.getAttribute(`${this.pfx}-typeDelay`) || this.typeDelay;
            await this._wait(delay);
            line.textContent += char;
        }
    }

    /**
     * Animate a progress bar.

    let termynals = [];

    function createTermynals() {
        document
            .querySelectorAll(`.${termynalActivateClass} .highlight code`)
            .forEach(node => {
                const text = node.textContent;
                const lines = text.split("\n");
                const useLines = [];
                let buffer = [];
                function saveBuffer() {
                    if (buffer.length) {

                    var changeElements = document.querySelectorAll(".well pre");
                    var result = [];
                    changeElements.forEach((val, idx) => result.push(JSON.parse(val.textContent)));
                    return result;
                }

                function appendErrorCorrections(reason) {
                    var result = ${currentApiChanges};