9.4 mm