//home page, print the random banner
function rand_banner() {
	
	var number_of_banners = 9;
	
	var random_number;
	random_number = Math.floor (Math.random() * number_of_banners);
	if(random_number == 0) { random_number = 4; }
	
	
	document.write ("<img src='images/" + random_number + ".gif' alt='tom ainslie'>");
	
	
}