//this file is to keep a list of banners to be displayed randomly
banners = new Array(11);

banners[0] = "images/banner/banner0.jpg";
banners[1] = "images/banner/banner1.jpg";
banners[2] = "images/banner/banner2.jpg";
banners[3] = "images/banner/banner3.jpg";
banners[4] = "images/banner/banner4.jpg";
banners[5] = "images/banner/banner5.jpg";
banners[6] = "images/banner/banner6.jpg";
banners[7] = "images/banner/banner7.jpg";
banners[8] = "images/banner/banner8.jpg";
banners[9] = "images/banner/banner9.jpg";
banners[10] = "images/banner/banner10.jpg";

//this method is to initiate banner img objects
function InitRandomBannersImg() {
  var b = document.getElementById ? 
  document.getElementById("banner") : document.all.banner;
  
  InitImagesAndLinks(banners, b);
}


function InitImagesAndLinks(images, banner) {
  numImages = images.length;
  var b1 = Math.round(Math.random() * numImages);

  // In rare cases, we hit the max, so don't go out of bounds:
  if (b1 == numImages) {b1 -= 1;}
  
  // Display image
  banner.src = images[b1];
}