时空限制

1S/512M

题目描述

jiangly 是 WATW 大模型的制作总监，但在发布会那天，由于他忘记招募安保人员，所以只能他亲自上阵来对入场人员进行安检，他需要检查每个入场人员的身份证是否合法。

jiangly 所在国家的身份证号规则如下：身份证号是一个长度为 $8$ 的字符串，其前两个字符应为 A 到 G 之间的大写字母（即 ABCDEFG 中的一个），第三到第七个字符应为 $0 \sim 9$ 的数字，最后一个字符应是 $0 \sim 9$ 的数字或大写字母 X。

jiangly 认为只要一个入场人员的身份证号符合上述规则，他就可以入场。jiangly 得到了一个入场人员的身份证号 $s$（其中可能包含大写字母、小写字母、数字），请你帮助可爱的 jiangly 判断该身份证号是否符合上述规则。

格式

输入格式

输入一行一个字符串 $s$，表示该入场人员的身份证号。

输出格式

输出一行一个字符串，如果 $s$ 符合上述规则，请输出 Yes，否则请输出 No。

样例

样例输入 #1

AC00107X

样例输出 #1

Yes

样例输入 #2

ae090902

样例输出 #2

No

样例解释 #2

前两个字母应为 A 到 G 之间的大写字母。

样例输入 #3

BD1234567890

样例输出 #3

No

样例解释 #3

长度应为 $8$。

样例输入 #4

GA114514

样例输出 #4

Yes

数据规模

注意：你只有通过了该题目的所有测试点，才能获得分数。

对于 $100\%$ 的数据，假设 $|s|$ 表示字符串 $s$ 的长度，则 $1 \le |s| \le 100$，且 $s$ 中只包含大写字母、小写字母和数字。