print("YNEOS"[not input().count("575")::2])