//banner rotation

var max = 9; // the max amount of images in the rotation

function banner_replace()
{
// the randomize function
    var ranBanner= Math.floor(Math.random()*max);
    return ranBanner;
}

window.onload = function () {
// the function that physically changes the banner

document.getElementById('banner').src = 'images/banners/'+banner_replace()+'.jpg';


 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";
 }


}