n = input().split('-')
flag = False
if len(n)==4 and n[0] == '7' and len(n[1])==3 and len(n[2])==3 and len(n[3]) == 4:
    for i in n[1:]:
        if i.isdigit():
            flag = True
elif len(n) == 3 and n[0] == '301' and len(n[1])==3 and len(n[2])==4:
    for i in n[1:]:
        if i.isdigit():
            flag = True
if flag == True:
    print('YES')
else: print('NO')