Text this: Hours of labor for workmen, mechanics, etc., employed upon public works of the United States :