gas distributor