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