$${17\, \mathrm{mm}}$$