Exon 4, which encodes the homeodomain of the protein product, was floxed by the insertion of a loxP site on one end and a loxP site and frt-flanked neo cassette on the other end. After germline integration, the frt-flanked neo cassette was removed from Isl1tm4Sev by crossing with FLPe transgenic strain.