Just go metric and call it 12 mm --