The targeting construct was linearized by NotI digestion and electroporated into R1 ES cells.