random permutation of 10