Irx3<tm1Hui> MGI:4882110 Irx3<LacZ> Irx3<tauLacZ> Reporter|Null/knockout targeted mutation 1, Chi-chung Hui http://identifiers.org/mgd/MGI:4882110