Feast of Dedication of Holy Etchmiadzin, According to the Vision of St. Gregory the Illuminator