Chapter XIII
Entitlement to the Continuation of Leave Period, Joining Time with
Public Holidays
158. If there is a public holiday before the commencing date of leave, the service personnel on leave may be allowed to leave the duty station in the afternoon of the day before the holiday. If there is a holiday immediately at the end of the leave or the joining time, the service personnel may be allowed to resume the duty on the morning of the day following the holiday. However:
(a) in transferring or resuming the duty of the service personnel, the case shall not need to handover or receive the office monetary;
(b) it shall not be the case where a service personnel from another station has to be transferred earlier to perform duties of the service personnel who leaves the duty station earlier;
(c) it shall not be the case where a service personnel is late to be transferred to another station as a result of having to perform duties of the service personnel who is late to perform his duty.