function external_link_init() {
  if (!document.getElementById || !document.getElementsByTagName) return;
  links = document.getElementsByTagName('a');
  for (var i = 0; i < links.length; i++) {
    if (links[i].rel.indexOf('external') == -1) continue;
    links[i].target = "_blank";
  }
}