§80-5 Holiday pay for per diem employees. Whenever a holiday occurs between the days of Monday and Friday, inclusive, per diem employees of the State or any of its political subdivisions who are working throughout that week shall receive holiday pay equal to that which they would have received had that holiday been a regular working day. [L 1955, c 83, §1; RL 1955, §5-75; HRS §80-5]