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