//To add additional images to the list, put the picture in the folder and increase the count below
var image1count = 10; //276x190
var image2count = 11; //269x177
var image3count = 9; //265x177

function random_Image1()
{
	var div = document.getElementById("header_left");
	var rand_no = Math.ceil(image1count*Math.random());
	div.innerHTML = "<img src = \"header/header1/" + rand_no + ".jpg\" height = \"276\" width = \"190\" />";
}

function random_Image2()
{
	var div = document.getElementById("header_bottomRight");
	var rand_no = Math.ceil(image2count*Math.random());
	div.innerHTML = "<img src = \"header/header2/" + rand_no + ".jpg\" width = \"269\" height = \"177\" />";
}

function random_Image3()
{
	var div = document.getElementById("header_bottomLeft");
	var rand_no = Math.ceil(image3count*Math.random());
	div.innerHTML = "<img src = \"header/header3/" + rand_no + ".jpg\" width = \"265\" height = \"177\" alt = \"ROV\" />";
}

function initializeImages( evt )
{
	random_Image1();
	random_Image2();
	random_Image3();
}

window.addEventListener("load", initializeImages, false);