S = input().strip()

if '575' in S:
  print('YES')
else:
  print('NO')