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