random permutation of 8 elements