Yep, that would be the standard random shuffle.