targeted mutation 17, Denis Duboule http://identifiers.org/mgd/MGI:3840830 HoxD<(12-13)Fi> Null/knockout Hoxd<tm17Ddu> MGI:3840830