Searching for ICD-10 codes by their ICD-9 code