The duration of the leave cannot be deducted from the annual paid leave. It is treated as a period of actual work for the purposes of determining paid holiday entitlement and for all other entitlements resulting for the person concerned from his employment contract.