function assignRandomImage()
{
	images = new Array(10);
	images[0]= "/rand_images/random1.gif";
	images[1]= "/rand_images/random2.gif";
	images[2]= "/rand_images/random3.gif";
	images[3]= "/rand_images/random4.gif";
	images[4]= "/rand_images/random5.gif";
	images[5]= "/rand_images/random6.gif";
	images[6]= "/rand_images/random7.gif";
	images[7]= "/rand_images/random8.gif";
	images[8]= "/rand_images/random9.gif";
	images[9]= "/rand_images/random10.gif";
	
	var elem = document.getElementById('corner_image')
	if ( elem ) {
		var randIndex = Math.floor(Math.random() * images.length);
		elem.src = images[randIndex];
	}
}