题目描述

某网站要求用户注册时填写一个用户名。一个合格的用户名需要同时满足下面 4 条规则：

1. 长度不少于 6，且不超过 12；
2. 第一个字符必须是英文字母；
3. 只能包含英文字母、数字字符和下划线 _；
4. 至少包含一个数字字符。

现在给定一个用户名 s，请你判断它是否合格。

如果用户名满足全部规则，输出 Yes；否则输出 No。

输入格式

输入一行，一个字符串 s，表示用户名。

输出格式

输出一行。

如果用户名合格，输出 Yes；否则输出 No。

样例

Alice2026

Yes

2026Alice

No

Alice_abc

No

样例说明

样例 1 中，Alice2026 长度合格，第一个字符是英文字母，只包含英文字母和数字字符，并且包含数字字符，所以输出 Yes。

样例 2 中，2026Alice 的第一个字符不是英文字母，不满足规则 2，所以输出 No。

样例 3 中，Alice_abc 虽然长度合格，第一个字符也是英文字母，并且只包含合法字符，但没有数字字符，不满足规则 4，所以输出 No。

数据范围

• 对于 100% 的数据，满足 1 <= s.length() <= 100
• 字符串 s 中只包含 ASCII 可见字符，不包含空格