perm 1 : 40 .)