docs: function download(url) {
          var a = document.createElement('a');
          a.href = url;
          a.setAttribute('download', 'doc');
          document.body.appendChild(a);
          a.click();
          document.body.removeChild(a);
      }