MGI:5648471 http://identifiers.org/mgd/MGI:5648471 miR-17~92 delta17,18 Null/knockout targeted mutation 3.1, Andrea Ventura Mirc1<tm3.1Aven>