function zufall (pfad)
{
	//var zz=Math.round(Math.random()*3);
	zz=1;
	
	if (zz!=0)
	{
		document.images["banner"].src =  pfad+"banner_"+zz+".jpg";
	}
	else
	{
		zz++;
		document.images["banner"].src =  pfad+"banner_"+zz+".jpg";
	}
}