A loxP site was introduced into intron 6 and a floxed PGK-neo cassette was inserted into intron 7. The selection cassette was removed from properly targeted ES cells leaving exon 7 floxed. Mice with the floxed exon 7 were crossed to cre expressing mice to create the knockout allele.