function rimage()
	{
	/* Array t holds the image numbers */
	var t = new Array(0, 1, 2);
	total_no = t.length;
	var r = Math.round((total_no - 1)*Math.random());
	document.write("<TD VALIGN=\"top\"><IMG SRC=\"images/index_09" + r + ".gif\" WIDTH=\"203\" HEIGHT=\"169\" BORDER=\"0\" ALT=\"\" /></TD>");
	}