<!--
 var img_number_global = 0;
 var image_number = 0;
 var  number_images = 134;
	function randomimage() {
	var x=Math.random()* number_images;
	image_number =Math.floor(x);
	img_number_global = image_number; 
 	return(image_number)
 }
 var out=randomimage();
 var asstr=out.toString(10);
 var l=asstr.length;
 if (l==1)
	{asstr='00' + asstr;}
 if (l==2)
	{asstr='0' + asstr;}
 document.write("<img src='../images/Homepage-Banner" + asstr + ".jpg'>");

//-->

