adImages = new Array("../imgheader/header1.jpg","../imgheader/header2.jpg","../imgheader/header3.jpg","../imgheader/header4.jpg","../imgheader/header5.jpg")
imgCt = adImages.length
prima = true

function rotazione() {
    if (document.images) {
        if (prima) {
            aggiungi = Math.floor((Math.random() * imgCt))
            prima = false
        }
        else {
            aggiungi++
            if (aggiungi == imgCt) {
                aggiungi = 0
            }
        }
        document.banner.src=adImages[aggiungi]
        setTimeout("rotazione()", 4 * 1000)
    }
 }