print('NYoe s'['575' in input()::2])