http://identifiers.org/mgd/MGI:5438833 Havcr1<tm1Vlcg> MGI:5438833 targeted mutation 1, Velocigene Reporter|Null/knockout