function random_image()
{
	/*
	var images = new Array()
	images[0] = "01.jpg"
	images[1] = "02.jpg"
	images[2] = "03.jpg"
	images[3] = "04.jpg"
	images[4] = "05.jpg"
	images[5] = "06.jpg"
	images[6] = "07.jpg"
	*/
	var images = new Array('01.jpg', '02.jpg', '03.jpg', '04.jpg', '05.jpg', '06.jpg', '07.jpg', '08.jpg', '09.jpg', '10.jpg', '11.jpg', '12.jpg')

	var key = Math.floor(Math.random() * images.length)
	document.write('<img src="images/splash/'+images[key]+'" width="750" height="250" alt="Splash Image" />')
}