There was a kitty with 25519137 hairs!