There was a kitty with 25519915 hairs!