function move_in(img_name,img_src) {
document[img_name].src=img_src;
}

function move_out(img_name,img_src) {
document[img_name].src=img_src;
}

function r_image()
	{
	/* Array t holds the image numbers */
	var t = new Array(0, 1, 2, 3, 4);
	total_no = t.length;
	var r = Math.round((total_no - 1)*Math.random());
	document.write("<td width=\"225\" valign=\"top\"><img src=\"images/img" + r + ".gif\" width=\"225\" height=\"207\" border=\"0\" alt=\"Dinosaur\" />");
	}