// JavaScript Document

<!--

var banner = new Array("grfx/banner1.jpg", "grfx/banner2.jpg", "grfx/banner3.jpg", "grfx/banner4.jpg", "grfx/banner5.jpg", "grfx/banner6.jpg", "grfx/banner7.jpg")
var imgCt = banner.length

function getRand()
{
	var ranNum = Math.floor(Math.random()*imgCt);
	document.BannerPicture.src = banner[ranNum];
}

var bannWidth = 790

if (screen) {
	bannWidth = screen.width - 30
}
//-->