1

import sys

primer = input()
if primer[0:2] == '+7':
    primer = '8' + primer[2:]
ans = ''
for i in primer:
    if i.isdigit():
        ans += i
for i in range(3):
    num = input()
    if num[0:2] == '+7':
        num = '8' + num[2:]
    a = ''
    for c in num:
        if c.isdigit():
            a += c
    if len(ans) == 11:
        if len(a) == 11:
            if a == ans:
                print('YES')
            else:
                print('NO')
        if len(a) == 7:
            if '8495' + a == ans:
                print('YES')
            else:
                print('NO')
    if len(ans) == 7:
        if len(a) == 11:
            if a == '8495' + ans:
                print('YES')
            else:
                print('NO')
        if len(a) == 7:
            if a == ans:
                print('YES')
            else:
                print('NO')