var current_banner = 1;
var total_banners = 0;
var wait = 0;

function banner_init() {

    //stop banner change if mouse over one banner
    allDivs = document.getElementById('banners').getElementsByTagName('div');
    nrBanners = 0;
    elements = new Array();
    for (var i = 0; i < allDivs.length; i++) {
        if (allDivs[i].title == "banner") {
            elements[nrBanners] = allDivs[i];
            nrBanners++;            
        }
    }
    total_banners = elements.length;
    //alert(total_banners);
    for (var i = 0; i < elements.length; i++) {
        elements[i].onmouseover = function() {
            clearTimeout(wait);
        }
        elements[i].onmouseout = function() {
            clearTimeout(wait);
            wait = setTimeout('nextBanner()', bannertime);
        }
    }
    //set navigation
    elements = document.getElementById('banners').getElementsByTagName('span');
    total_banners = elements.length;
    for (var i = 0; i < elements.length; i++) {
        elements[i].title = i + 1;
        elements[i].onmouseover = function() {

            banner(this.title);
            clearTimeout(wait);
        }
        elements[i].onmouseout = function() {

            clearTimeout(wait);

            wait = setTimeout('nextBanner()', bannertime);

        }
    }
    wait = setTimeout('nextBanner()', bannertime);
}


function banner(nr) {
    clearTimeout(wait);
    allDivs = document.getElementById('banners').getElementsByTagName('div');
    allButtons = document.getElementById('banners').getElementsByTagName('span');
    nrBanners = 0;
    elements = new Array();
    for (var i = 0; i < allDivs.length; i++) {
        if (allDivs[i].title == "banner") {
            elements[nrBanners] = allDivs[i];
            nrBanners++;
        }
    }
    total_banners = elements.length;
    //hide all divs
    for (var i = 0; i < elements.length; i++) {
        if (nr == (i + 1)) {
            //show selected banner
            elements[i].style.display = "block";
            allButtons[i].className = "on";
        } else {       //hide everything else
            elements[i].style.display = "none";
            allButtons[i].className = "off";
        }
    }
    wait = setTimeout('nextBanner()', bannertime);
}


function nextBanner() {

    if (current_banner < total_banners) {
        current_banner++;
    }

    else {
        current_banner = 1;
    }

    banner(current_banner);
}