// Waehlt ein zufaelliges Bild als Banner beim Laden der Seite aus.
// Die Bilder sollten width="742" height="211" Pixel sein!

var Banner = new Array();
Banner[0] = "Bilder/Banner/Banner_01.jpg";
Banner[1] = "Bilder/Banner/Banner_03.jpg";
Banner[2] = "Bilder/Banner/Banner_04.jpg";
Banner[3] = "Bilder/Banner/Banner_02.jpg";


function BannerLaden()
	{
	document.banner.src = Banner[Math.round(Math.random() * (Banner.length - 1))];
	};
	
window.onload=BannerLaden;