S = input()

l = len(S)

flag = 0

for i in range(l):
    if (S[i:i+3] == '575'):
        flag = 1
        
if (flag == 1):
    print('YES')
else:
    print('NO')