O Gene Hxd MGI:96292 heritable phenotypic marker http://identifiers.org/mgd/MGI:96292 hallux duplex