i<files.length; i++) {
                    if (i) query += ',';
                    query += '%22' + encodeURIComponent(files[i]) + '%22';
                }
                query += '%5D';
                if (file_urls.length) query += ',';
            }
            if (file_urls.length) {
                query += '%22urls%22:%5B';
                const files = file_urls.split(',');
                for (var i=0; i<files.length; i++) {
                    if (i) query += ',';
                    query += '%2