splashImage = new Array();
splashImage[0] =  '/images/home01.jpg';
splashImage[1] =  '/images/home02.jpg';
splashImage[2] =  '/images/home03.jpg';

var p = splashImage.length;

var whichsplashImage = Math.round(Math.random()*(p-1));

function writesplashImage() {
if (document.getElementById) {
	document.getElementById("panoImage").src = splashImage[whichsplashImage];
}
}