<!--
adImages1 = new Array("images/dossieratome1.gif", "images/dossieratome2.gif")
adImages2 = new Array("images/dossieratome3.gif", "images/dossieratome4.gif", "images/dossieratome5.gif")
adImages3 = new Array("images/dossieratome6.gif", "images/dossieratome7.gif", "images/dossieratome8.gif", "images/dossieratome9.gif", "images/dossieratome10.gif", "images/dossieratome11.gif", "images/dossieratome12.gif", "images/dossieratome13.gif", "images/dossieratome14.gif")
thisAd1 = 0
thisAd2 = 0
thisAd3 = 0
imgCt1 = adImages1.length
imgCt2 = adImages2.length
imgCt3 = adImages3.length

function rotate() {
    if (document.images) {
        thisAd1++
        if (thisAd1 == imgCt1) {
            thisAd1 = 0
        }
    document.adBanner1.src = adImages1[thisAd1]
        thisAd2++
        if (thisAd2 == imgCt2) {
            thisAd2 = 0
        }
    document.adBanner2.src = adImages2[thisAd2]
        thisAd3++
        if (thisAd3 == imgCt3) {
            thisAd3 = 0
        }
    document.adBanner3.src = adImages3[thisAd3]
    setTimeout("rotate()", 5 * 1000)
    }
}
 -->