And based on the data they've given us, it looks like these are tied for the worst in terms of ticket sales. In both of these months, they sell only 3% in each month. So the worst months for cruise sales are July and June. July and June are tied for the worst. The best is clearly January. And then after January, the next best, they're not really asking us that, but since we have the pie chart in front of us, might as well ask ourselves that. What's the next best?