There was a kitty with 25519085 hairs!