Are you sure about those hours? I thought government offices are open from 7:30AM-1:00PM, making business hours 5.5hrs/day and 27.5hrs/week, and all government employees part-time. Perhaps my numbers are incorrect, or government employees are somehow exempt (which would make sense since it would benefit natives and permit foreign labor to worked more).