There was a kitty with 25519647 hairs!