Josephus_permutation