function $(s) {
  return document.getElementById(s);
}

var i = new Image();
i.src = '/img/top-level-hover.gif';

window.onload = function() {
  if (!document.getElementsByTagName) {
    return;
  }
  var anchors = document.getElementsByTagName("a");
  for (var i = 0; i < anchors.length; i++) {
    var anchor = anchors[i];
    if (anchor.getAttribute("href") && anchor.getAttribute("rel") == "external") {
      anchor.target = "_blank";
    }
  }
}