ument.getElementById('maxlen').value;
    const minnodes = document.getElementById('minnodes').value;
    const maxnodes = document.getElementById('maxnodes').value;
    const minwords = document.getElementById('minwords').value;
    const maxwords = document.getElementById('maxwords').value;
    const minmatches = document.getElementById('minmatches').value;
    const maxmatches = document.getElementById('maxmatches').value;
    let search = document.getElementById('search').value;

    contentsDi