// Set up the image files to be used.
var theImages = new Array( // do not change this
	'man_on_phone.jpg',
	//'black.jpg',
	'woman_2.jpg',
	'woman_1.jpg',
	'handshake_1.jpg',
	'woman_and_man_1.jpg',
	'woman_and_computer.jpg',
	'man_on_phone_2.jpg',
	'woman_on_laptop.jpg',
	//'white.jpg',
	'man_on_computer.jpg',
	'man_on_phone_3.jpg',
	'planning.jpg',
	'man_1.jpg',
	'woman_on_phone_1.jpg',
	'woman_and_man_2.jpg',
	'woman_3.jpg',
	'woman_and_man_3.jpg',
	'man_2.jpg',
	'woman_6.jpg',
	'woman_7.jpg',
	'woman_4.jpg',
	'woman_5.jpg',
	'two_men.jpg',
	'shop_drawings.jpg'
)


// do not edit anything below this line

function showImage()
{
	for (y = 0; y < 4; y++)
	{
		var imageArrayLength = theImages.length; // Length of the image array
		var whichImage = Math.round(Math.random()*(imageArrayLength-1)); // Generate a random number
		var theImage = theImages[whichImage];// Use randomly generated number to get an image out of array
		var theDivId = "header_img_" + (y + 1);
		//alert(theDivId);
		document.getElementById(theDivId).src = "images/" + theImage;// Place image
		theImages.splice(whichImage,1);// Take image out of array so it is not repeated across header
		//alert(theImages.length);// Length of image array should be one less
	}
}