$JCT hours rose 11.27%. I think it’s perfectly normal to take a breather after such a big rise. I understand—I’ve learned the hard way not to chase highs, and these past two years I’d rather take things a bit slower.