// To add more images to the random rotation, 
// simply add them to this list, 
// and place the files in the same directory as this file
var image_list = new Array(
	"splash1.jpg",
	"splash2.jpg",
	"splash3.jpg",
	"splash4.jpg",
	"splash5.jpg",
	"splash6.jpg"
);