var pointer = 0;
picpath = "images/";
pics = new Array("top_banner_rotenburg.png", "top_banner_stade.png", "top_banner_harburg.png", "top_banner_lueneburg.png", "top_banner_uelzen.png", "top_banner_luechow.png");

timer();

function swappic() { 
document.getElementById("swappable").src = picpath + pics[pointer];
if (pointer == (pics.length-1)) { pointer = 0;}
else { pointer++; }
timer();
}

function timer() {
window.setTimeout("swappic()", 10000); 
}