$${9\, \text{mm}}$$