F9 and hemophilia: These mice recapitulate the phenotype of patients carrying the R29X mutation (CGA to TGA) who have severe hemophilia with no detectable circulating FIX protein [51].