// Rotator functions
var currentImage = -1;
var agent = navigator.userAgent.toLowerCase();
var appver = parseInt(navigator.appVersion);
var hasNativeBlend = 	(agent.indexOf('msie') != -1) && 
                        (agent.indexOf('opera') == -1) &&
                        (appver >= 4) && 
                        (agent.indexOf('msie 4') == -1) &&
                        (agent.indexOf('msie 5.0') == -1);

function random_int(i) {
        return Math.floor(i*(Math.random()%1));
}

function nextImage()
{
        if (currentImage === -1) 
                currentImage = random_int(images.length-1);
        else
                currentImage++;

        if (currentImage == images.length) currentImage = 0;

        if (hasNativeBlend) document.getElementById('imagerotator').style.filter = "blendTrans(duration=1)";
        if (hasNativeBlend) document.getElementById('imagerotator').filters.blendTrans.apply();
        document.getElementById('imagerotator').src = images[currentImage];
        if (hasNativeBlend) document.getElementById('imagerotator').filters.blendTrans.play();

        setTimeout('nextImage()', 6000);
}