Description

61儿童节来临，欢聚时，氧气少年希望看到此文字的各位同学，在 2024 接下来的日子里，能获得幸运 Buff 的加持。

氧气少年祝参加蓝桥杯决赛的同学能获得幸运 Buff 的加持； 氧气少年祝参加秋季 ICPC、CCPC 的同学能获得幸运 Buff 的加持。

日月星辰齐相耀，但这些比赛只是人生中的短暂一瞬。

• 氧气少年祝高考的同学在六月份的考试中能获得幸运 Buff 的加持；
• 氧气少年祝找工作的同学在九月份的秋招中能获得幸运 Buff 的加持；
• 氧气少年祝保研的同学在九月份的推免中能获得幸运 Buff 的加持；
• 氧气少年祝考研的同学在十二月份的考试中能获得幸运 Buff 的加持。

奖誉满堂皆欢笑，氧气少年祝今晚参加这场比赛的同学节日快乐。

Input

仅输入一行，包含一个整数 n(1≤n≤1000)n(1≤n≤1000)。

Output

仅输出一行，Yes 或 No。

Samples

6

Yes

7

No

Limitation

时间限制：C/C++ 1秒，其他语言2秒 空间限制：C/C++ 262144K，其他语言524288K Special Judge, 64bit IO Format: %lld