import sys

s = raw_input()

for i in range(len(s)):
    if s[i] == '5' and i + 2 < len(s):
        if s[i + 1] == '7' and s[i + 2] == '5':
            print "YES"
            sys.exit()

print "NO"