function home_image()
	{
	/* Array t holds the image numbers */
	var t = new Array(0, 1, 2, 3, 4, 5, 6, 7, 8, 9);
	total_no = t.length;
	var r = Math.round((total_no - 1)*Math.random());
	document.write("<TD VALIGN=\"top\"><IMG SRC=\"images/r" + r + ".gif\" WIDTH=\"237\" HEIGHT=\"91\" BORDER=\"0\" ALT=\"\" /></TD>");
	}