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