// JavaScript Document
if (document.getElementById && document.createTextNode) {
  var the_div = document.getElementById("headerAds");
  var ran_num = Math.floor(Math.random()*(my_imgs.length));
  var the_HTML = "<a title=\""+my_imgs_alt[ran_num]+"\" href=\""+my_imgs_link[ran_num]+"\" ";
  
  if (ran_num != 0) {
  	the_HTML += "onclick=\"window.open(this.href,'_blank');return false\"";
  }
  the_HTML += "><img src=\""+my_imgs[ran_num]+"\" border=\"0\" ";
  the_HTML += "alt=\""+my_imgs_alt[ran_num]+"\" width=\"728\" height=\"90\" /></a>";
  the_div.innerHTML = the_HTML;
}