http://identifiers.org/mgd/MGI:5523993 MGI:5523993 targeted mutation 2, Franck Toledo Inserted expressed sequence Trp53<tm2Tldo>