function changeImages(image, source)
{
	document.images[image].src = source;
}

iArray=new Array(
	"actiondude.gif",
	"army.gif",
	"cow.gif",
	"disco.gif",
	"oldman.gif",
	"superhero.gif",
	"aliens.gif",
	"magician.jpg");
ri=Math.floor(iArray.length*Math.random());
ri='<img src="'+ iArray[ri]+ '" alt="raygun army" />';