function shuffle(a) {
var b = [ ];
while (a.length > 0) {
var index = parseInt(Math.random() * (a.length - 1));
b.push(a[index]); a.splice(index, 1);
}
return b; }
function shuffle(a) {
var b = [ ];
while (a.length > 0) {
var index = parseInt(Math.random() * (a.length - 1));
b.push(a[index]); a.splice(index, 1);
}
return b; }