Какой диаметр дюймовой трубы?