<!--
/********************* Banners section *************************/
/* Display a random banner on page load. */

imgdir = "../graphics/banners/"    // Directory of where the common graphics are stored.

bannerList = new Array(
"banner1.gif",
"banner2.gif",
"banner3.gif",
"banner4.gif",
"banner5.gif",
"banner6.gif",
"banner7.gif",
"banner8.gif",
"banner9.gif",
"banner10.gif",
"banner11.gif",
"banner12.gif"

);

maxBanners = bannerList.length;
var currentBanner = Math.floor(Math.random() * maxBanners);    // Select a random banner number to display.

adBanner = new Image();
adBanner.src = imgdir + bannerList[currentBanner];   // Storage for the first banner.

//-->