問題文

AtCoder では、レーティングによって色が定められています。 AtCoder レーティングと色との対応は以下の通りです。

レーティング
2800 -
2400 - 2799
2000 - 2399
1600 - 1999
1200 - 1599
800 - 1199
400 - 799
1 - 399

正整数 RR が与えられます。しょぼん君の AtCoder レーティングを RR としたとき、しょぼん君の色が橙色であったら Yes を、そうでなかったら No を出力してください。

制約

  • 1R42291 \le R \le 4229
  • RR は整数

入力

入力は以下の形式で標準入力から与えられる。

RR

出力

答えを出力せよ。

サンプル1

入力
2415
出力
Yes

しょぼん君のAtCoderレーティングが 24152415 であるなら、色は橙色なので、 Yes を出力します。

サンプル2

入力
2377
出力
No

しょぼん君のAtCoderレーティングが 23772377 であるなら、色は黄色なので、 No を出力します。

サンプル3

入力
3863
出力
No

提出


Go (1.21)