// JavaScript Document

onload = function() {

images = new Array(	// set up an array of the images
"/site/DefaultSite/filesystem/images/RandomImages/image1.jpg",
"/site/DefaultSite/filesystem/images/RandomImages/image2.jpg",
"/site/DefaultSite/filesystem/images/RandomImages/image3.jpg",
"/site/DefaultSite/filesystem/images/RandomImages/image4.jpg",
"/site/DefaultSite/filesystem/images/RandomImages/image5.jpg",
"/site/DefaultSite/filesystem/images/RandomImages/image6.jpg",
"/site/DefaultSite/filesystem/images/RandomImages/image7.jpg",
"/site/DefaultSite/filesystem/images/RandomImages/image8.jpg",
"/site/DefaultSite/filesystem/images/RandomImages/image9.jpg",
"/site/DefaultSite/filesystem/images/RandomImages/image10.jpg",
"/site/DefaultSite/filesystem/images/RandomImages/image11.jpg",
"/site/DefaultSite/filesystem/images/RandomImages/image12.jpg",
"/site/DefaultSite/filesystem/images/RandomImages/image13.jpg",
"/site/DefaultSite/filesystem/images/RandomImages/image14.jpg"
);

rand = Math.floor(Math.random()*images.length); // chose a random number, between 0 and the length of the array -1

currentImage = images[rand]; // set img to the random image's src

document.getElementById("InternalsCol1_1").style.backgroundImage = "url("+currentImage+")"; //for div background'


}