images = new Array(12);

images[0] = "Banners/Img001.jpg";
images[1] = "Banners/Img002.jpg";
images[2] = "Banners/Img003.jpg";
images[3] = "Banners/Img004.jpg";
images[4] = "Banners/Img005.jpg";
images[5] = "Banners/Img006.jpg";
images[6] = "Banners/Img007.jpg";
images[7] = "Banners/Img008.jpg";
images[8] = "Banners/Img009.jpg";
images[9] = "Banners/Img010.jpg";
images[10] = "Banners/Img011.jpg";
images[11] = "Banners/Img012.jpg";

index = Math.floor(Math.random() * images.length);
function randomImage(){
	document.imgRotate.src = images[index];
}