FYI, pay attention to the underlined part

Holiday Pay (HOL)

Time is always paid to an employee. It is a day of exemption from work for which employees are paid as if they had worked