Counting permutations