S = input()
print(('NO', 'YES')['575' in S])