There was a kitty with 25519571 hairs!