// Random Array
var image = new Array(9);

// Fill the array with stuff
for(i=0; i<9; i++)
	image[i] = new Image();

image[0]='/lib/images/header/headt3left.jpg';
image[1]='/lib/images/header/headt4left.jpg';
image[2]='/lib/images/header/headt4left.jpg';
image[3]='/lib/images/header/headt6left.jpg';
image[4]='/lib/images/header/headt7left.jpg';
image[5]='/lib/images/header/headt8left.jpg';
image[6]='/lib/images/header/headt9left.jpg';
image[7]='/lib/images/header/headt1left.jpg';
image[8]='/lib/images/header/headt2left.jpg';

// this inserts the random html
function randomImage()
{
	document.write("<img src=" + image[Math.floor(Math.random()*image.length)] + " name=current_image onClick=current_image.src=image[Math.floor(Math.random()*image.length)] height=125 width=306 border=0 alt='Van Wylen Library'>");
}