There was a kitty with 25519715 hairs!