过去的 ABC

题目描述

给定一个长度为 $6$ 的字符串 $S$。保证 $S$ 的前三个字符是 ABC,后三个字符是数字。

判断 $S$ 是否是「在本次比赛开始前,于 AtCoder 举办并已结束的比赛」的缩写。

这里,字符串 $T$ 是「在本次比赛开始前,于 AtCoder 举办并已结束的比赛」的缩写,当且仅当 $T$ 等于以下 $348$ 个字符串之一:

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

注意 ABC316 不在其中。

输入格式

输入按以下格式从标准输入给出:

$S$

输出格式

如果 $S$ 是「在本次比赛开始前,于 AtCoder 举办并已结束的比赛」的缩写,输出 Yes,否则输出 No。

样例

ABC349

Yes

ABC349 是上周在 AtCoder 举办并已结束的比赛的缩写。

ABC350

No

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

ABC316

No

ABC316 没有在 AtCoder 举办过。

数据范围

• $S$ 是长度为 $6$ 的字符串,其中前三个字符是 ABC,后三个字符是数字。