map(item => JSON.stringify(item)));
            db = Array.from(set).map(item => JSON.parse(item));
        }
        selecteddb = {};
        countsel();
        displayTitles();
        contentsDiv.innerText = "Dataset File Loaded\nSelect an item to browse contents.";
    }

    async function streamJsonFile(file) {
        const CHUNK_SIZE = 32 * 1024 * 1024; // 32 MB chunks
        const decoder = new TextDecoder('utf-8');
        const reader = file.stream().getReader();
        const elem