A - Orange?

問題文

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

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

制約

• $1 \le R \le 4229$
• $R$ は整数

入力

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

出力

答えを出力せよ。

サンプル1

2415

Yes

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

サンプル2

2377

No

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

サンプル3

3863

No