There was a kitty with 25519355 hairs!