var imagens = ['imagens/banner1.jpg', 'imagens/banner2.jpg', 'imagens/banner3.jpg', 'imagens/banner4.jpg'];
var atual = 0;
var total = imagens.length;
function muda() { 
  document.getElementById("banner");  
  if (atual == total) {
    atual = 0;
  } 
  document.getElementById("banner").src = imagens[atual++];  
}