// Calls random image and corresponding alt tag into home page

var banners = [
  { src: "/files/pagelayoutimages/Int_ImageSet1.jpg", alt: "Photo: Representing more than 2,000 community-owned electric utilities" },
  { src: "/files/pagelayoutimages/Int_ImageSet2.jpg", alt: "Photo: Providing Reliable Electricity while Protecting the Environment" },
  { src: "/files/pagelayoutimages/Int_ImageSet3.jpg", alt: "Photo: Promoting Energy Efficiency and Conservation - Second photo Courtesy of DOE/NREL, Credit - Warren Gretz" }
];

var now = new Date();
var seed = now.getTime() % 0xffffffff;

function rand(n) {
  seed = (0x015a4e35 * seed) % 0x7fffffff;
  return ( seed >> 16 ) % n;
}

var num = rand(banners.length);

document.write("<img alt='" + banners[num].alt + "' name='main_image' src='" + banners[num].src + "' width='509' height='120' border='0'>");