function headerwechsel() {

var Bilder = new Array("images/header_2.jpg","images/header_3.jpg","images/header_4.jpg","images/header_5.jpg","images/header_1.jpg");
var Delay = 6000;

var BildAnzahl = Bilder.length;
var number = 0;
BildFolge = new Image(); BildFolge.src = Bilder[number];

function change() {

number++;
if (number == BildAnzahl) number = 0;

BildFolge.src = Bilder[number];
document.austausch.src = BildFolge.src;
}

setInterval("change()", Delay);
}