// JavaScript Document



// Randomizes the banner on the home page.
// This script uses id="RotatingBanner" 
var ImageArr1 = new Array("_images/banner3.png","_images/banner2.png","_images/banner1.png");
var ImageHolder1 = document.getElementById('RotatingBanner');

function RotateImages(whichHolder,Start)
{
  var a = eval("ImageArr"+whichHolder);
  var b = eval("ImageHolder"+whichHolder);
  if(Start>=a.length)
	  Start=0;
  b.src = a[Start];
  window.setTimeout("RotateImages("+whichHolder+","+(Start+1)+")",8000);
}

RotateImages(1,0);