var anzahl = 17;

function animateWeil(){

no = Math.round(Math.random()*anzahl);

pfad = "img/weil/weil_" + no + ".gif";

document.getElementById("WEIL").src = pfad


setTimeout('animateWeil()', 10000);
}