An EGFP tag has been inserted into the endogenous pros locus. A single loxP site and a single attP site have also been inserted.