<!--
var anfangname="banner"
 	var bannerjetzt=0
 	var bannerzahl=9
 	var pause=4000
 	function austausch ( )
 	{
 	if (bannerjetzt < bannerzahl)
 		{
 		bannerjetzt++;
 		}
 	else
 		{
 		bannerjetzt=1;
 		}
 	
 	parent.banner.location=anfangname+bannerjetzt+".html";
 	setTimeout ("austausch ( )", pause);
 	}
//-->