import re
pattern = r".*5.*7.*5.*"
text = raw_input()
matchOB = re.match(pattern , text)
print "YES" if matchOB else "NO"