In the normal allele, the 4-kb EcoRI fragment extends from intron 20 to 23.