function randomBannerImg() {
	var numImages = 10;
	var i = Math.round(numImages*Math.random());
	var i = i+ 1;
		
	var bannerDiv = document.getElementById("banner");
	
	var bannerImg = document.createElement("img");
	bannerImg.setAttribute("src", "images/content/homepage/banner/" + i + ".jpg");
	bannerImg.setAttribute("alt","Stanford scenes");
	bannerImg.className = ("image_banner");
	bannerImg.setAttribute("border","0");

	bannerDiv.appendChild(bannerImg);
	
}