var i = 0;
var bilder = new Array("banner1.jpg", "banner2.jpg", "banner3.jpg");

function next(){
  document.getElementById("banner").setAttribute("src", bilder[i]);
  i = (i + 1) % bilder.length;
  window.setTimeout('next();', 5000);
}