S = str(input().rstrip())
if "575" in S:
    print("YES")
else:
    print("NO")