氧气少年很幸运
时间限制:C/C++/Rust/Pascal 1秒,其他语言2秒
空间限制:C/C++/Rust/Pascal 256 M,其他语言512 M
Special Judge, 64bit IO Format: %lld

题目描述

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

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

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

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

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

输入描述:

仅输入一行,包含一个整数 n(1\leq n\leq 1000)

输出描述:

仅输出一行,`\tt Yes` 或 `\tt No`(大小写不敏感)。
示例1

输入

复制
6

输出

复制
Yes
示例2

输入

复制
7

输出

复制
No