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