Pay for Holiday. Full-year and academic year employees who are required to work on a holiday listed in Section 9.1 (a) or Section 9.1(b) shall be paid for hours actually worked on such holiday at time and one-half (1 ½), in addition to their holiday pay. If such full- time employees not engaged in Continuous Services are called back tor emergency work between the hours of 5:00 p.m. on December 24 and 12:00 midnight on December 25, they shall receive overtime at double their regular hourly rates of pay for any hours worked.