 actually remained fairly steady. And it was an interesting thing to see because we've been talking so much about work from home normalizing and so many folks getting called back to the office. But really, it hasn't shifted all that much over the past few years. It was like a one percentage point difference, right?