<!--

// image array for rotating banner

imageBan = new Array(10);
imageBan[0] = "images/ban_blank.jpg";
imageBan[1] = "images/ban_drm.jpg";
imageBan[2] = "images/ban_gtr.jpg";
imageBan[3] = "images/ban_hrns.jpg";
imageBan[4] = "images/ban_tbon.jpg";
imageBan[5] = "images/ban_trad.jpg";
imageBan[6] = "images/ban_trpt.jpg";
imageBan[7] = "images/ban_washbd.jpg";
imageBan[8] = "images/ban_crwd.jpg";
imageBan[9] = "images/ban_frnt.jpg";

//function to randomize between different images into current page
function rndmImg() { 
    var visitnumber = 9;  //note- number(6) must be the same as above
    var randomnumber = Math.random();
    var imgselect = Math.round((visitnumber-1) * randomnumber) + 1;
    var x = imgselect;

    document.banner.src = imageBan[x];
}

//-->