// Bilderwechsel##################################################
function makeArray() {
this.length = makeArray.arguments.length
for (var i = 0; i < this.length; i++) this[i+1] = makeArray.arguments[i]
}
var pix = new makeArray ("01.jpg", "02.jpg", "03.jpg", "04.jpg", "05.jpg", "06.jpg", "07.jpg", "08.jpg", "09.jpg", "10.jpg", "11.jpg", "12.jpg", "13.jpg");
var nummer = 1;
function tauscheIMG() {
document.image.src = "artikel/prod-"+pix[nummer];
nummer += 1;


if (nummer == 13) nummer = 1;
setTimeout("tauscheIMG()", 3500);		// zeit in ms

}
// Ende Bilderwechsel##################################################