There was a kitty with 812433 hairs!