<!-- Begin
function movepic(img_name,img_src) {
document[img_name].src=img_src;
}
// End -->

<!-- Begin Banner Rotation

function banner(imgSource,url,alt,chance) {
this.imgSource = imgSource;
this.url = url;
this.alt = alt;
this.chance = chance;
}
function dispBanner() {
with (this) document.write("<A HREF=" + url + "><IMG SRC='" + imgSource + "' WIDTH=625px BORDER=0 ALT='" + alt + "'></A>");
}
banner.prototype.dispBanner = dispBanner;
banners = new Array();

banners[0] = new banner("images/lead_photo_001.jpg",
                        "#",
                        "Henderson County",
                        17);
banners[1] = new banner("images/lead_photo_002.jpg",
                        "#",
                        "Henderson County",
                        17);
banners[2] = new banner("images/lead_photo_003.jpg",
                        "#",
                        "Henderson County",
                        17);
banners[3] = new banner("images/lead_photo_004.jpg",
                        "#",
                        "Henderson County",
                        17);
banners[4] = new banner("images/lead_photo_005.jpg",
                        "#",
                        "Henderson County",
                        17);
banners[5] = new banner("images/lead_photo_006.jpg",
                        "#",
                        "Henderson County",
                        17);
banners[6] = new banner("images/lead_photo_007.jpg",
                        "#",
                        "Henderson County",
                        17);
banners[7] = new banner("images/lead_photo_008.jpg",
                        "#",
                        "Henderson County",
                        17);
banners[8] = new banner("images/lead_photo_009.jpg",
                        "#",
                        "Henderson County",
                        17);

///////////////////////////////////////////////////
// banners[x] = new banner(<banner source image>,                                           
// <url to link to when the banner is clicked>,
// <alt>
// <the chance this banner has in which to be randomly selected>);  
// To increase the chance of a banner being randomly selected, increase it's corresponding
// 'chance' property relative to the other banners.                                         
///////////////////////////////////////////////////
sum_of_all_chances = 0;
for (i = 0; i < banners.length; i++) {
sum_of_all_chances += banners[i].chance;
}
function randomBanner() {
chance_limit = 0;
randomly_selected_chance = Math.round((sum_of_all_chances - 1) * Math.random()) + 1;
for (i = 0; i < banners.length; i++) {
chance_limit += banners[i].chance;
if (randomly_selected_chance <= chance_limit) {
document.write("<A HREF=" + banners[i].url + "><IMG SRC='" + banners[i].imgSource + "' WIDTH=625px BORDER=0 ALT='" + banners[i].alt + "'></A>");
return banners[i];
break;
      }
   }
}
//  End -->

