print("Yes" if "575" in input() else "No")