冶金厂炼钢厂的工人们。