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