import sys
readline=sys.stdin.readline
from collections import Counter

S=readline().rstrip()
N=len(S)
ans="NO"
for i in range(N-2):
    if S[i:i+3]=="575":
        ans="YES"
print(ans)