Vent pipes shall be not less than _____ inches in diameter.