<!--
// Random Image Generator Code
if (document.images) {
//cache random images	
	img0 = new Image();
	img0.src = "homeimages/hpn0.gif";
	img1 = new Image();
	img1.src = "homeimages/hpn1.gif";
	img2 = new Image();
	img2.src = "homeimages/hpn2.gif";
	imgDefault = new Image();
	imgDefault.src = "homeimages/hpn1.gif";
//if document.images object not supported by browser, do not cache images.
//instead, assign null values.	
} else {
	img0 = "";
	img1 = "";
	img2 = "";
	imgDefault = "";
}

//define function that creates a random number, adds the result to an image souce
function genImage() {
	var ranNumber = Math.round(Math.random() * 2);
	document.mainImage.src = "homeimages/hpn" + ranNumber + ".jpg";
}	
//-->