皮卡丘的主人是?

Time Limit: 1000 ms Memory Limit: 65536 KiB

Problem Description

 

皮卡丘可是世界上最有名的老鼠之一(还有杰瑞和米老鼠),大家知道皮卡丘的主人是谁吗,当然是梦想成为精灵宝可梦大师的小智。

小智经常去挑战宝可梦联盟,可是只有获得了8个及以上的道馆徽章才可以去挑战当地的联盟。小智现在知道他的徽章数量,他想问你他是否有挑战联盟的资格。

Input

输入一个整数n(0<=n<=10),代表小智现在拥有的徽章数量。

Output

请判断小智是否满足挑战联盟的条件。如果小智可以挑战联盟,输出“Yes”,否则输出“No”(输出不包括引号)。

Sample Input

7

Sample Output

No

Hint

Source

【2017级《程序设计基础(B)I》期末上机考试】玄黄