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