var royal;
 function rotateAd(pos)
 {
 pos %= royal.length;
 document.images["adImage"].src = "images/"+ royal[pos];
 window.setTimeout("rotateAd(" +( pos +1)+ ");",2500);
 }
window.onload = function() {
    royal = new Array("Pool 1.jpg", "royal1.jpg", "royal2.jpg", "royal3.jpg", "royal4.jpg", "royal5.jpg", "royal6.jpg","royal7.jpg","royal8.jpg");
    rotateAd(0); 
}