. . . "Jumbo Market's contributions are to be made on the basis of all straight time hours worked, including all hours compensated such as vacations and holidays." . .