83517 mm to inches