88713 mm to inches