var bilder = new Array ("images/header (1).jpg",
                        "images/header (2).jpg",
                        "images/header (3).jpg");

var a = -1;       
    function bildwechsel() {
    a++;
    window.document.images[0].src = bilder[a];
    if (a==bilder.length-1) {
    a = -1;
    }
    setTimeout ('bildwechsel()', 4500);
	}