S=list(input())

n=len(S)

if(n<3):
   print('NO')

for i in range(n-2):
    if(S[i]=='5' and S[i+1]=='7' and S[i+2]=='5'):
       print('YES')
       break
    if(i==n-3):
       print('NO')