var current_banner; current_banner = 3;
var filename2;filename2 = null;
var timer = new Timer();
timer.interval(10000)
.addCallback(bannerNext);

function bannerNext() {
        var filename;
        if(current_banner == 3) {
                current_banner = 1;
        }
        else {
                current_banner = current_banner + 1
        }
        filename = "banner"+current_banner+".html";
        ajaxFunction(filename);
}
function bannerLast() {
        var filename;
        if(current_banner == 1) {
                current_banner = 3;
        }
        else {
                current_banner = current_banner - 1
        }
        filename = "banner"+current_banner+".html";
        ajaxFunction(filename);
}
function ajaxFunction(filename2){
        var ajaxRequest;  // The variable that makes Ajax possible!

        try{
                // Opera 8.0+, Firefox, Safari
                ajaxRequest = new XMLHttpRequest();
        } catch (e){
                // Internet Explorer Browsers
                try{
                        ajaxRequest = new ActiveXObject("Msxml2.XMLHTTP");
                } catch (e) {
                        try{
                                ajaxRequest = new ActiveXObject("Microsoft.XMLHTTP");
                        } catch (e){
                                // Something went wrong
                                alert("Your browser broke!");
                                return false;
                        }
                }
        }
        // Create a function that will receive data sent from the server
        ajaxRequest.onreadystatechange = function(){
                if(ajaxRequest.readyState == 4){
                        document.getElementById('splash_left').innerHTML = ajaxRequest.responseText;
                }
        }
        ajaxRequest.open("GET", "/inc/banner_html/"+filename2, true);
        ajaxRequest.send(null);
}

function bannerTimer() {
        timer.start();
}
function bannerPause() {
        timer.pause();
}
function bannerResume() {
        timer.resume();
}

