window.onload = RandomImage;


var myPix = new Array ("imagesAA/img01.jpg","imagesAA/img02.jpg","imagesAA/img03.jpg","imagesAA/img04.jpg");

function RandomImage () {
	
	  setInterval ( "choosePic()", 4000);
	
	}

function choosePic() {
	randomNum = Math.floor((Math.random() * myPix.length));
	document.getElementById("imageTop").src = myPix[randomNum];
}