. "Leave hours, including vacation, sick time, holiday, etc., are not counted toward the accumulated hours in a week for overtime purposes." . . .