  We consider some properties of double confluent Heun equation related to the
Josephson Effect. In particular, we prove that adjacency points of
phased-locked areas on a parameter plane can be described via poles of Bessel
solution of Painleve 3 equation.
