let inserterlinks1="10.32614/CRAN.package.docopt . https://github.com/docopt/docopt.R/issues . https://github.com/docopt/docopt.R . docopt results .  docopt.pdf  .  docopt_0.7.2.tar.gz  . docopt_0.7.2.zip . docopt_0.7.2.zip . docopt_0.7.2.zip . docopt_0.7.2.tgz . docopt_0.7.2.tgz . docopt_0.7.2.tgz . docopt_0.7.2.tgz . docopt_0.7.2.tgz . docopt_0.7.2.tgz .  docopt archive  . https://CRAN.R-project.org/package=docopt . "; var inner3235232 = document.getElementById("inserterlinks1") inner3235232.innerHTML = inserterlinks1;