What is the diameter of the O-rings?