 So compared to 2019, they're up around 30%, which is quite a bit. I mean, normally restaurants are increasing prices maybe like 3% a year, and we just had some record years there. Now that is leveled off. The prices are not increasing overall nearly as much as they were in 2022, 2023, but they're still increasing more than grocery, and that has become a real problem.