80718 mm to inches