I left out the company-wide holidays, which in 2022 amounted to 4, and the 10+ public holidays.