题目描述

给定一个长度为 6 的字符串 S。保证 S 的前3个字符是 ABC，最后3个字符是数字。

判断 S 是否是在本次比赛开始前在AtCoder上已经举办并结束的比赛的简称。

对于字符串 T，它是"在本次比赛开始前在AtCoder上已经举办并结束的比赛的简称"当且仅当它等于以下 348 个字符串之一：

ABC001, ABC002, $\ldots$, ABC314, ABC315, ABC317, ABC318, $\ldots$, ABC348, ABC349

特别注意，ABC316不包含在内。

输入格式

输入字符串 $S$。

输出格式

如果 S 是在本次比赛开始前在AtCoder上已经举办并结束的比赛的简称，输出 Yes；否则，输出 No

样例 #1

样例输入 #1

ABC349

样例输出 #1

Yes

样例 #2

样例输入 #2

ABC350

样例输出 #2

No

样例 #3

样例输入 #3

ABC316

样例输出 #3

No

提示

样例说明1

ABC349 是上周在 AtCoder 上举办并结束的比赛的简称。

样例说明 2

ABC350 是本次比赛，尚未结束。

样例说明 3

ABC316 在 AtCoder 上从未举办过。

数据范围

• $S$ 是长度为 $6$ 的字符串，其中前 $3$ 个字符是 ABC，最后 3 个字符是数字