<!-- function download(filename, text) {-->

<!-- var element = document.createElement('a');-->

<!-- element.setAttribute('href', 'data:text/plain;charset=utf-8,' + encodeURIComponent(text));-->

<!-- element.setAttribute('download', filename);-->

<!-- element.style.display = 'none';-->

<!-- document.body.appendChild(element);-->

<!-- element.click();-->

<!-- document.body.removeChild(element);-->

<!-- $('#saveToFile').click(function(e) {-->

<!-- var data = document.getElementById("context_text").textContent;-->

<!-- download('data.txt',data)-->

<!-- });-->

<!--var data = document.getElementById("url_data").textContent;-->

<!--var key1 = '{{key1}}'-->

<!--var key2 = '{{key2}}'-->

<!--download(key1+'_'+key2+'.txt',data)-->