There was a kitty with 25519767 hairs!