S = input()
flag = 0
for i in range(len(S)-3+1):
    if S[i:i+3] == "575":
        print("YES")
        flag += 1
        break
if flag == 0:
    print("NO")