There was a kitty with 1812433 hairs!