window.setTimeout('rotate();',2500)
var sponsor = 1;
function titelbilder() {
   if (sponsor==1);
   if (sponsor==2);
   if (sponsor==3);
   if (sponsor==4);
   if (sponsor==5);
   if (sponsor==6);
   if (sponsor==7);
   if (sponsor==8);
   if (sponsor==9);
   if (sponsor==10);
 
}

// function to rotate image (currently uses 4 images)
function rotate() {
   if (++sponsor > 10)  sponsor = 1;
   document.images.banner.src ="titelbilder/" + "banner" + sponsor + ".gif";
   window.setTimeout('rotate();',2500);
}