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