Polisen räknar 13,765 tjenstemän af olika grader,