s=input()
print(["NO","YES"]["575" in s])