There was a kitty with 25519631 hairs!