var max_bildnummer = 30;
var dateipfad = "fileadmin/redakteure/wechselbilder/ordner_"
var bildname  = new Array();

var belegt = new Array();
for (var i = 1; i <= 3; i++) {
  var zufallsnr;
  do {
     zufallsnr = getZufall(1, max_bildnummer);
  } while (belegt[zufallsnr]);
  belegt[zufallsnr] = true;
     
  var zahl = zufallsnr >= 10 ? zufallsnr : "0" + zufallsnr;
  bildname[i] = "bild-" + zahl + ".jpg";
}
document.images.bildA.src = dateipfad + "a/" + bildname[1];
document.images.bildB.src = dateipfad + "b/" + bildname[2];
document.images.bildC.src = dateipfad + "c/" + bildname[3];


function getZufall(min, max)
{
  var x = Math.random() * (max - min + 1) + min;
  return Math.floor(x);
}