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