void shuffle([Random random ])