 What we see on external data is that this year, 5% more Americans are traveling on the 4th of July. And when we look at Google, there we also see higher travel demand. And our internal data shows that the top destinations this year are the same top destinations that we saw in 2023.