在焦炉生产中，通常所说的“富煤气”是指（）煤气。