Возможно, если бы не Петр I, то в наши дни был бы очень популярен Дед Симеон. А когда на Руси праздновали день Симеона Столпника?