var banners
var bannerMax
var bannerIdx
var freq = 5000;
var t;

function Banner(image, link) {
        this.image = new Image();
        this.image.src = image;
        this.href = link;
}

function initBanner() {
        bannerMax=banners.length;
        bannerIdx = Math.floor(bannerMax * Math.random());
}

function rotateBanner() {
        document.getElementById("RBanner").src=banners[bannerIdx].image.src;
        document.getElementById("RLink").href="javascript:popUp('" + banners[bannerIdx].href + "')";
        if( ++bannerIdx == (bannerMax - 1) ) bannerIdx=0;

        t=setTimeout("rotateBanner()",freq);
}

function pauseBanner() {
        clearTimeout(t);
}

function resumeBanner() {
        t=setTimeout("rotateBanner()",freq);
}