<!--
 var img_number_global = 0;
 var imlocation = "/Images/bannerimages/";
 var image_number = 0;
 function ImageArray (n) {
   this.length = n;
   for (var i =1; i <= n; i++) {
     this[i] = ' '
   }
 }
 image = new ImageArray(12)
 image[0] = '001.jpg'
 image[1] = '002.jpg'
 image[2] = '003.jpg'
 image[3] = '004.jpg'
 image[4] = '005.jpg'
 image[5] = '006.jpg'
 image[6] = '007.jpg'
 image[7] = '008.jpg'
 image[8] = '009.jpg'
 image[9] = '010.jpg'
 image[10] = '011.jpg'
 image[11] = '012.jpg'
 function randomimage() {
	var x=Math.random()*image.length;
	image_number =Math.floor(x);
	img_number_global = image_number; 
 	return(image[image_number])
 }
 document.write("<img src='" + imlocation + randomimage()+ "' alt='Banner images'>");
//-->

