This allele is a derivative of Eportm1Jtp in which an exchange targeting vector was used to replace the PGK-Hprt minigene. The exchange vector contained the human sequence of the gene from the translational start site to the stop codon, and a floxed PGK-neomycin resistance cassette inserted in reverse orientation into intron 6.