// JavaScript Document

// randomly changes image
function randomImage(imageName, numOimages){
	var imageNum = 0;
	imageNum = Math.random()*100 % numOimages;
	imageNum = Math.floor(imageNum);
	if (imageNum == 0) {
		imageNum = 1;
	}
	var image = "document." + imageName + ".src";
	image = "/_images/header/header_0" + imageNum + ".jpg";
	document[imageName].src = "/_images/header/header_0" + imageNum + ".jpg";
}