var images = new Array();
images[0] = "Images/Exterior5.1.jpg";
images[1] = "Images/food_shot.jpg";
images[2] = "Images/TheBar.jpg";
images[3] = "Images/GeorgeAndFriends2.jpg";
images[4] = "Images/PrivateDiningRm.jpg";
images[4] = "Images/GordonWestSmall.jpg";

var counter = 0;
var totalBan = images.length;

function cycleBan() {
    counter++;
    if (counter == totalBan) {
        counter = 0;
    }
    document.banner.src = images[counter];
    
    // set the time below for length of image display
    // i.e., "4*1000" is 4 seconds
    setTimeout("cycleBan()", 5 * 1000);
}
window.onload = cycleBan;