We learn today that the number is exactly 5,113. (Down from 31,225 in 1967.)