There was a kitty with 25519917 hairs!