// JavaScript Document
function changeImage()
{
	var images = Array()
	images[0] = "images/banner_blue.jpg";
	images[1] = "images/banner_blue_i.jpg";
	images[2] = "images/banner_green.jpg";
	images[3] = "images/banner_green_i.jpg";
	images[4] = "images/banner_greenl.jpg";
	images[5] = "images/banner_greenr.jpg";
	images[6] = "images/banner_greeny.jpg";
	images[7] = "images/banner_orange.jpg";
	document.getElementById('bannerimage').src = images[Math.round(7*Math.random())];
}