<!--
adImages = new Array("images/dossierdatabase1.gif", "images/dossierdatabase2.gif", "images/dossierdatabase3.gif", "images/dossierdatabase4.gif", "images/dossierdatabase5.gif")
thisAd = 0
imgCt = adImages.length

function rotate() {
    if (document.images) {
        thisAd++
        if (thisAd == imgCt) {
            thisAd = 0
        }
    document.adBanner.src = adImages[thisAd]
    setTimeout("rotate()", 5 * 1000)
    }
}
 -->