// JavaScript Document

var theImages = new Array() // do not change this

theImages[0] = 'images/mainattractions_img1.jpg'
theImages[1] = 'images/mainattractions_img2.jpg'
theImages[2] = 'images/mainattractions_img3.jpg'
theImages[3] = 'images/mainattractions_img4.jpg'
theImages[4] = 'images/mainattractions_img5.jpg'
theImages[5] = 'images/mainattractions_img6.jpg'
theImages[6] = 'images/mainattractions_img7.jpg'
theImages[7] = 'images/mainattractions_img8.jpg'
theImages[8] = 'images/mainattractions_img9.jpg'
theImages[9] = 'images/mainattractions_img10.jpg'
theImages[10] = 'images/mainattractions_img11.jpg'
theImages[11] = 'images/mainattractions_img12.jpg'
theImages[12] = 'images/mainattractions_img13.jpg'


function showImage1()
{
var p = theImages.length;
var img1=Math.floor(Math.random(p) * p);
var img2=Math.floor(Math.random(p-1) * (p-1));

//document.write(img2)

if(img2<=p)
{
	if(theImages[img1]==theImages[img2])
	{
	showImage1();
	}

	else
	{
	
	document.write('<img src="'+theImages[img1]+'"><br/><hr color=FFFFFF>');
	document.write('<img src="'+theImages[img2]+'">');		
	}
}
else
{
showImage1();

}
}