onload = function() {
	// set up an array of the images
	images = new Array("images/domsection_06.jpg", "images/nameplate.jpg" ,"images/background-3.gif", "images/background-4.gif", "images/background-5.gif", "images/background-6.gif", "images/background-7.gif", "images/background-8.gif");
	rand = Math.floor(Math.random()*images.length); // chose a random number, between 0 and the length of the array -1
	img = images[rand]; // set img to the random image's src
	document.body.style.background = ""; // set the background image
}