// JavaScript Document

	function randomImage(){

	var fileName, fileNo;
	
	fileNo = Math.ceil((Math.random()*3));
	
	fileName="img/banner1_"+fileNo+".jpg";
	
	//document.getElementById(whichID).src = fileName;
	
	return fileName;
	
	}