HOXC9 and renal agenesis: However, in mice with a single wild type copy of Hoxa11 present (Hoxa9,10−/−11+/− Hoxc9,10,11−/−), renal agenesis occurred in only 16% of mutants.