// JavaScript Document

var images = ["aa-banner1.jpg",
			  "aa-banner2.jpg",
			  "aa-banner3.jpg",
			  "aa-banner4.jpg",
			  "aa-banner5.jpg",
			  "aa-banner6.jpg",
			  "aa-banner7.jpg",
			  "aa-banner8.jpg",
			  "aa-banner9.jpg",
			  "aa-banner10.jpg",
			  "aa-banner11.jpg",
			  "aa-banner12.jpg"];

function getBannerImage()
{
	var i = images[Math.floor(Math.random()*images.length)];
	var b = document.getElementById("banner");
	var v = "<img src=\"banner_images/"+i+"\" border=0  />";
	b.innerHTML = v;
	
}