targeted mutation 3.1, Haruhiko Koseki http://identifiers.org/mgd/MGI:5559319 Phc2<L307R> MGI:5559319 Phc2<tm3.1Hko>