s = input()
#print(s.find("575"))
if (s.find("575") >= 0): print("YES")
else: print("NO")