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