Also the article said people took 25% less holiday, which could make it just 3 days off, depending on what the typical number of holidays taken for this month is.