print("YES"*("575" in input) or "NO")