A - swallow Editorial /

Time Limit: 2 sec / Memory Limit: 1024 MB

問題文

日本では、ツバメは 4 月から 9 月まで観察できます。

1 以上 12 以下の整数 M が与えられるので、 M 月にツバメを観察できるか答えてください。

制約

  • M は 1 以上 12 以下の整数

入力

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

M

出力

M 月にツバメを観察できる場合 Yes を、観察できない場合 No を出力せよ。

入力例 1

4

出力例 1

Yes

4 月はツバメを観察できます。

入力例 2

12

出力例 2

No

12 月は 4 月から 9 月に含まれないので、ツバメを観察できません。

入力例 3

9

出力例 3

Yes

Problem Statement

In Japan, swallows can be observed from April through September.

Given an integer M between 1 and 12, determine if swallows can be observed in month M (where January is month 1).

Constraints

  • M is an integer between 1 and 12, inclusive.

Input

The input is given from Standard Input in the following format:

M

Output

Print Yes if swallows can be observed in month M, and No otherwise.

Sample Input 1

4

Sample Output 1

Yes

Swallows can be observed in April (month 4).

Sample Input 2

12

Sample Output 2

No

Swallows cannot be observed in December (month 12), which is not in the season from April through September.

Sample Input 3

9

Sample Output 3

Yes