Employees who are credited with hours of work on any of the seven (7) major holidays shall be compensated twelve (12) hours at their regular straight time rate for having been credited with hours worked on those days. The seven (7) major holidays for which such additional compensation shall be paid are New Year Day, Martin Luther King Day, Memorial Day, Fourth of July, Labor Day, Thanksgiving Day, and Christmas Day.