After linearization with SacII, these targeting vectors were electroporated into 2.0 × 107 RF8 ES cells [22] using a Gene pulser (BIORAD).