if __name__ == '__main__': S = input() if S.find('575') >= 0: print('YES') else: print('NO')