function getRandom(nums)
{
    var ranNum= Math.round(Math.random()*nums);
    return ranNum;
}

// images available.
var numberOfImages = 2;  // one less than array number prevents safari ? issue
var randomNumber = getRandom(numberOfImages);

// image array
var image = new Array(numberOfImages);
image[0]="images/painehall_index.jpg";
image[1]="images/sandershorz_index.jpg";
image[2]="images/sandersstage_index.jpg";

document.write("<img src='" + image[randomNumber] + "' />");

if (image[randomNumber] == undefined) {   // writes the default image if the script doesn't run
	document.write("<img src='images/painehall_index.jpg' alt='Paine Hall' />");
	 
}


// nav image preload 
if (document.images) {
var menu_hvr = new Image();
menu_hvr.src = "images/menu_bkgrd_hvr.gif";
}