To test the operation icd9-to-icd10(diagnostic).xquery, click the 'Invoke' button.