// JavaScript Document
var imagesMast = new Array();
var arrayNumMast = 0; 
var imgpath = "/graphics/banners/";

imagesMast[arrayNumMast++] = "url(" + imgpath + "banner1.jpg)";

imagesMast[arrayNumMast++] = "url(" + imgpath + "banner2.jpg)";

imagesMast[arrayNumMast++] = "url(" + imgpath + "banner3.jpg)";

imagesMast[arrayNumMast++] = "url(" + imgpath + "banner5.jpg)";

imagesMast[arrayNumMast++] = "url(" + imgpath + "banner6.jpg)";

function rotateMastBand()
{
	var Mastx = Math.floor(Math.random() * imagesMast.length);
	document.getElementById('mastband').style.backgroundImage = imagesMast[Mastx];
}
rotateMastBand();