or(let i=0;i<tempfileobj.length;++i)
    {
        db.push(tempfileobj[i]);
    }
    selecteddb = {};
    countsel();
    displayTitles();
}

function exportsel(jsonl = false) {
    const contentsDiv = document.getElementById('contents');
    const tempfileobj = [];

    for (let i = 0; i < currdbidxs.length; ++i) {
        let ci = currdbidxs[i];
        let box = document.getElementById(`itm${ci}`);
        if (box && box.checked) {
            tempfileobj.push(db[ci]);
        }
    }