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