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