Gas given off by coke ovens. Coke oven gas is interchangeable with goal gas.