/**
 * @author graham
 */
var Images = 5;
var SrcPath = '/lifeonmars/images/banners/'
var FilePrefix = '';
var FileSuffix = '.jpg';

function ChooseImg() {
	var ran_num = Math.random()*Images;
	var ran_number=Math.floor(ran_num);
	var img = document.getElementById('BannerImage');
	img.src=SrcPath+FilePrefix+'0'+ran_number+FileSuffix;
}