var imagearray = new Array("./img/hotel1.jpg","./img/hotel2.jpg","./img/hotel3.jpg");
var ihid = document.getElementById('imghotel');

function rotateImage(pindex){
		if(pindex>=imagearray.length){
			pindex=0;}
		ihid.src = imagearray[pindex];
		window.setTimeout("rotateImage("+(pindex+1)+")",2000);
}

rotateImage(0)