Description

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

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

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

ABC001,ABC002,…,ABC314,ABC315,ABC317,ABC318,…,ABC348,ABC349

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

Input Format

输入字符串S。

Output Format

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

ABC349

Yes

ABC350

No

ABC316

No

Hint

数据范围与提示 【样例1说明】 ABC349 是上周在AtCoder上举办并结束的比赛的简称。 【样例2说明】 ABC350 是本次比赛，尚未结束。 【样例3说明】 ABC316 在AtCoder上从未举办过。 【数据范围】 S 是长度为 6 的字符串，其中前3个字符是 ABC，最后3个字符是数字