splashImage = new Array();
splashImage[0] =  '/images/home_pano.jpg';
splashImage[1] =  '/images/home_pano_2.jpg'; 
splashImage[2] =  '/images/home_pano_3.jpg'; 

var p = splashImage.length;

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

function writesplashImage() {
if (document.getElementById) {
	document.getElementById("pano").style.backgroundImage='url('+splashImage[whichsplashImage]+')';
}
}