A little trick with x13mod