Gas pipe diameter