9.5 millimeters