 to about 10,000. Across the industry, cruise lines are paying back the crushing debt they took on and are bringing in more customers while also raising prices. Much of the growth comes from customers who've never been on a cruise vacation. It's another reminder of the economy's remarkable ability to bounce back, even after terrible times. I'm Jeff Colvin.