let inserterlinks1="10.32614/CRAN.package.extrafontdb . https://github.com/wch/extrafontdb . extrafontdb results .  extrafontdb.pdf  .  extrafontdb_1.0.tar.gz  . extrafontdb_1.0.zip . extrafontdb_1.0.zip . extrafontdb_1.0.zip . extrafontdb_1.0.tgz . extrafontdb_1.0.tgz . extrafontdb_1.0.tgz . extrafontdb_1.0.tgz . extrafontdb_1.0.tgz . extrafontdb_1.0.tgz . https://CRAN.R-project.org/package=extrafontdb . "; var inner3235232 = document.getElementById("inserterlinks1") inner3235232.innerHTML = inserterlinks1;