But the smallest are actually July and June. And this is where the numbers become useful because when you just look at it by, you know, when you just eyeball it, you're not sure, hey, are these exactly the same or do they just look exactly the same? And that's where these numbers are valuable. 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.