  We give a formula that relates the difference of the j-invariants with the
Borcherds Phi-function, an automorphic form on the period domain for Enriques
surfaces characterizing the discriminant divisor.
