random permutation of 17 elements