<!--
adImages = new Array("images/dossierapi1.jpg", "images/dossierapi2.jpg", "images/dossierapi3.jpg", "images/dossierapi4.jpg", "images/dossierapi5.jpg", "images/dossierapi6.jpg", "images/dossierapi7.jpg", "images/dossierapi8.jpg", "images/dossierapi9.jpg", "images/dossierapi10.jpg", "images/dossierapi11.jpg", "images/dossierapi12.jpg", "images/dossierapi13.jpg", "images/dossierapi14.jpg", "images/dossierapi15.jpg", "images/dossierapi16.jpg", "images/dossierapi17.jpg")
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)
    }
}
 -->