 With those 47, it looks like it's 14. It is 14 different navies. And 11 of them belong to the U.S. The United States. There you go. Congratulations, Carl. Yeah, you kind of feel, I had no idea until I saw this question, that there were that few aircraft carriers in the world and that the United States by far had the most. And the biggest aircraft carrier can actually carry 90 planes. Did you know that? Yeah.