print('YES' if '575' in input() else 'NO')