of the texts on eastern christians, how many are there which are religious texts of christmas eve?
(COUNT (AND religion.religious_text (AND (JOIN religion.religious_text.religious_text_of (JOIN (R time.holiday.featured_in_religions) m.014r1s)) (JOIN (R religion.religion.texts) m.0blk0))))