http://identifiers.org/mgd/MGI:5790486 Trp53cor1<tm2Vlcg> MGI:5790486 Reporter|Null/knockout targeted mutation 2, Velocigene