// 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(
	"new_1.jpg",
	"new_2.jpg",
	"new_3.jpg",
	"new_4.jpg",
	"new_5.jpg",
	"splash_barcelona1.jpg",
	"splash_barcelona2.jpg",
	"splash_barcelona3.jpg"
	
	);