function downloadFile() {
const link = document.createElement('a');
link.href = 'your_file_url'; // 替换为要下载的文件的URL
link.target = '_blank';
link.download = 'file_name'; // 替换为要保存的文件名
document.body.appendChild(link);
link.click();
document.body.removeChild(link);
}