var theImages = new Array();
theImages[0] = "./images/front0.jpg";
theImages[1] = "./images/front1.jpg";
theImages[2] = "./images/front2.jpg";
theImages[3] = "./images/front3.jpg";
theImages[4] = "./images/front4.jpg";
theImages[5] = "./images/front5.jpg";
theImages[6] = "./images/front6.jpg";

var j = 0;
var p = theImages.length;
var preBuffer = new Array();
for (i = 0; i < p; i++) {
    preBuffer[i] = new Image();
    preBuffer[i].src = theImages[i];
}
var whichImage = Math.round(Math.random()*(p-1));

function pickImage() {
    var parent = document.getElementById("holder");
    parent.innerHTML = '<img src="' + theImages[whichImage] + '"  alt="Rosenthal Library" height="216" width="288" />';
}

addLoadEvent(pickImage);