Mirc32<tm1Jtm> http://identifiers.org/mgd/MGI:5648481 targeted insertion 1, Joshua T Mendell MGI:5648481 Conditional ready miR-143/145<Neo>