MGI:3811722 http://identifiers.org/mgd/MGI:3811722 Null/knockout Tex12<tm1Hoog> targeted mutation 1, Christer Hoog