在（）进行焦炉炉体的维修称为热修。