// JavaScript Document
function externalLinks() {
 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";
 }
}
window.onload = externalLinks;

function go(dir) { 
    var text = self.location.href;
    var pos = text.indexOf('js');
    var num = text.substring(pos+2,pos+5) - 0 + dir;
    num = (num < 10) ? "00" + num : ( (num < 100) ? "0" + num : num);
    window.location.href = text.substring(0,pos+2) +
                           num +
                           text.substring(pos+5,text.length);
}