targeted mutation 3, Chi-Chung Hui MGI:5444483 Irx5<EGFP> Reporter|Null/knockout Irx5<tm3Hui> http://identifiers.org/mgd/MGI:5444483