var i = 1;
var zeit=5;                  // zeit zwischen den wechseln in sekunden
banner1= new Image();         // url und name der banner
banner1.src = "./bilderwechsel/karten_9.gif";
banner2 = new Image();
banner2.src = "./bilderwechsel/karten_10.gif";
banner3 = new Image();
banner3.src = "./bilderwechsel/karten_11.gif";
banner4= new Image();         
banner4.src = "./bilderwechsel/karten_12.gif";

function startTime(){

        var time= new Date();
        hours= time.getHours();
        mins= time.getMinutes();
        secs= time.getSeconds();
        closeTime=hours*3600+mins*60+secs;
        closeTime+=zeit;
        Timer();
}

function Timer(){
        var time= new Date();
        hours= time.getHours();
        mins= time.getMinutes();
        secs= time.getSeconds();
        curTime=hours*3600+mins*60+secs

if (curTime>=closeTime)
{
if (i < 4)
i++;
else
i=1

document.banner.src = eval("banner" + i + ".src");
startTime();
}
else
{
window.setTimeout("Timer()",1000)}
}