random permutation on 7 elements