$${7\, \mathrm{mm},}$$