function RandomizeImage(pathdepth)
{
	// set up array of image names
	var imagearray = new Array("urara", "littleneese", "fujiko", "ashram", "chocolatemisu", "emeraldas", "armitage", "nukunuku", "misato", "harlock", "kalia");

	// randomly pick one of the images
	var number = Math.round(Math.random()*(imagearray.length-1));
	
	// set appropriate file name
	var imagename = imagearray[number];

	// set path to images
	if (pathdepth == 0) var path = "images/cornerimages/";
	if (pathdepth == 1) var path = "../images/cornerimages/";
	if (pathdepth == 2) var path = "../../images/cornerimages/";
	
	// change document header
	document.randomimage_top.src = path + imagename + "-top.gif";
	document.randomimage_middle.src = path + imagename + "-middle.gif";
	document.randomimage_bottom.src = path + imagename + "-bottom.gif";
}