// JavaScript Document
var theImages = new Array() 
	theImages[0] = 'images/banner_image_sea_1.jpg'
	theImages[1] = 'images/banner_image_asia_3.jpg'
	theImages[2] = 'images/banner_image_asia_4.jpg'
	theImages[3] = 'images/banner_image_sea_4.jpg'
	theImages[4] = 'images/banner_image_sea_5.jpg'
	theImages[5] =  'images/banner_image_asia_5.jpg'
	theImages[6] = 'images/banner_image_medit_6.jpg'
	theImages[7] = 'images/banner_image_medit_7.jpg'
	var p = theImages.length;
	var whichImage = Math.round(Math.random()*(p-1));
	function change(){
	document.write('<img src="'+theImages[whichImage]+'" alt="Image from one of the galleries">');
}