Original: Many workers have up to 10 days off.
Simplified: In many countries, May Day is May 1st.