Exons 7 through 9 and the polyadenylation signal were replaced with a PGK-hygro gene downstream of exon 6. This construct was developed by altering a previously described construct, tm1Due, containing a neomycin selection gene, for use in the generation of a double knockout.