// JavaScript Document
window.onload = choosePic;

var adImages01 = new Array("images/exterior03_01.jpg",
						   "images/interior04_01.jpg",
						   "images/interior05_01.jpg");

function rotate() {
            thisAd++;
            if (thisAd == adImages01.length) {
                        thisAd = 0;
            }
            document.getElementById("adBanner").src = adImages01[thisAd];

            setTimeout("rotate()", 3 * 4000);
}


function choosePic() {
            thisAd = Math.floor((Math.random() * adImages01.length));
            document.getElementById("adBanner").src = adImages01[thisAd];
            
            rotate();
}