Hallo Blaubart,
danke für die Tipps, auch an seth. Der Mischer sieht jetzt so aus:
Array.prototype.misch=function() {
var l=this.length,t,zi;
for(var i=0;i<l;i++) {
zi=Math.floor(i+Math.random()*(l-i)); // i <= zi < l
t=this[zi];
this[zi]=this[i];
this[i]=t;
}
}
Nach ersten Tests für gut befunden.
Gruß, Jürgen