s = str(input())

if '575' in s:
    print("YES")
else:
    print("NO")