function setTopBanner()
{
	var numberOfBanners = 6;

	// gen random number
	var randomnumber = 1 + Math.floor(Math.random() * numberOfBanners)
		
	// write new banner
	document.getElementById("header").style.backgroundImage = "url(/images/Headers/header" + randomnumber + ".jpg)";

}