<!--

 
/* Image randomiser inner */

    adImages = new Array("/images/abstract1.jpg","/images/abstract2.jpg","/images/abstract3.jpg","/images/abstract4.jpg","/images/abstract5.jpg","/images/abstract6.jpg","/images/abstract7.jpg","/images/abstract8.jpg","/images/abstract9.jpg","/images/abstract10.jpg")
    imgCt = adImages.length
    firstTime = true

 function rotate0() {
    if (document.images) {
        if (firstTime) {
            thisAd = Math.floor((Math.random() * imgCt))
            firstTime = false
        }
        else {
            thisAd++
            if (thisAd == imgCt) {
                thisAd = 0
            }
        }
        document.panel.src=adImages[thisAd]
        setTimeout("rotate0()", 1000 * 1000)
    }
 }


-->