;
    const subtract_existing = (document.getElementById('appendfile').value=="2");
    const contentsDiv = document.getElementById('contents');
    const dedup = (document.getElementById('dedup').value=="1");
    let newdb = [];
    var filesizemb = lastfile.size/(1024*1024);

    function postLoad()
    {
        if(replace_existing)
        {
            db = newdb;
        }else if(merge_existing){
            for(let s in newdb)
            {
                db.push(newdb[s]);
         