<!--
adImages = new Array("images/dossierdecans1.gif", "images/dossierdecans2.gif", "images/dossierdecans3.gif", "images/dossierdecans4.gif", "images/dossierdecans5.gif", "images/dossierdecans6.gif", "images/dossierdecans7.gif", "images/dossierdecans8.gif", "images/dossierdecans9.gif", "images/dossierdecans10.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)
    }
}
 -->