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