PGannotations

(function() {
  var links = document.getElementsByTagName('a');
  for (var i = 0, len = links.length; i < len; i += 1) {
    var link = links[i];
    var href = link.getAttribute('href');
    if (href != null && href.substring(0, 2) == '#f') {
      link.name = 'footnote' + href.substring(2);
    } else if (link.name.length >= 1 && link.name[0] == 'f') {
      link.href = '#footnote' + link.name.substring(1);
    }
  }
})();