document.write('![\"\"](\"images/banners/dummy.jpg\")
');
document.write('![\"\"](\"images/banners/plan1.jpg\")
');
for(i = 0; i < (aantal+1) ; i++)
{
banArray[i] = new Image(160, 80);
if (i==0){banArray[i].src = image01;banArray[i].alt = text01;}
if (i==1){banArray[i].src = image02;banArray[i].alt = text02;}
if (i==2){banArray[i].src = image03;banArray[i].alt = text03;}
}
function changeBanner() //banner changer function
{
if(counter > (aantal-1))
counter = 0;
document.banner.src = banArray[counter].src;
counter++; //increase the counter for the next banner
}
var timer = window.setInterval("changeBanner()", (seconden*1000));
//-->