. . . "Hours paid but not worked, such as sick or vacation leave or compensatory time used will not count toward overtime." .