17 жовтня — Єрофіїв день, Єрофій Лешегон: історія, традиції та прикмети ...