function randomImage(){  // thanks to http://www.webdevelopersnotes.com/tutorials/javascript/random_image_display_javascript.php3

  var dir = "/images/random/";
  var img_name = new Array("header_pic_1.jpg", "header_pic_2.jpg", "header_pic_3.jpg", "header_pic_4.jpg", "header_pic_5.jpg", "header_pic_6.jpg", "header_pic_7.jpg", "header_pic_8.jpg", "header_pic_9.jpg");
  var l = img_name.length;
  var rnd_no = Math.floor(l*Math.random());
  document.getElementById("randomImage").src = dir + img_name[rnd_no];

  return;
}

function externalLinks(){
   if (!document.getElementsByTagName) return;
   var externalRegExp = /(^|\s)external($|\s)/i;
   var anchors = document.getElementsByTagName("a");
   for (var i=0;i<anchors.length;i++){
      var anchor = anchors[i];
      if(
         anchor.getAttribute("href")
         &&   ( !anchor.getAttribute("target") || anchor.getAttribute("target") == ""
            )
         &&   ( externalRegExp.test(anchor.getAttribute("rel")) )
      )
      anchor.target = "_blank";
   }
   return;
}

window.onload = function() {
	randomImage();
	externalLinks();
}