function download(file) {var a = document.createElement('a');a.style.display = 'none';