焦炉加热常用（）煤气，也可用高炉煤气。