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