A 3.5-kb BamHI fragment corresponding to the wild-type allele was present in all cells, whereas a 5.3-kb fragment from the mutant allele was detected in two targeted cell lines, designated ES27 and ES36.