// JavaScript Document
var theImages = new Array()
		
		//Random-loading images
		theImages[0] = 'images/caracol1.jpg' // replace with names of images
		theImages[1] = 'images/caracol2.jpg' // replace with names of images
		theImages[2] = 'images/caracol3.jpg' // replace with names of images
		theImages[3] = 'images/caracol4.jpg' // replace with names of images
		theImages[4] = 'images/caracol5.jpg' // replace with names of images
		theImages[5] = 'images/caracol6.jpg' // replace with names of images
		theImages[6] = 'images/caracol7.jpg' // replace with names of images
		
		var j = 0
		var p = theImages.length;
		var preBuffer = new Array()
		
		for (i = 0; i < p; i++){
		preBuffer[i] = new Image()
		preBuffer[i].src = theImages[i]
		}	
		var whichImage = Math.round(Math.random()*(p-1));
		
		function showImage(){
		//if(whichImage==0){
		document.write('<div align="center"><img src="'+theImages[whichImage]+'"  alt="Sandos Hotels & Resorts" border=0 width=950 height=270></div>');
		//}
		
		}