http://identifiers.org/mgd/MGI:5304773 MGI:5304773 Ppm1a<tm1.1Xya> Null/knockout targeted mutation 1.1, Xiao Yang