AT_abc411_a.[ABC411A] Required Length

Takahashi 想为某个网站设置一个密码，密码是一个字符串 $P$，该字符串仅包含小写英文字母。该网站的密码长度必须至少为 $L$ 个字符。

判断字符串 $P$ 是否满足长度条件，即是否是一个长度至少为 $L$ 的字符串。

输入按照如下格式从标准输入给出：

$P$
$L$

如果 $P$ 满足长度条件，请输出 Yes；否则，输出 No。

数据范围

• $P$ 是一个由小写英文字母组成的字符串，长度在 $1$ 到 $100$ 之间，包含 $1$ 和 $100$。
• $1 \leq L \leq 100$。
• $L$ 是一个整数。

样例解释 1

chokudai 的长度为 $8$，密码长度至少为 $5$，因此满足长度条件。

所以输出 Yes。

样例解释 2

字符串 ac 的长度为 $2$，小于 $3$，因此不满足长度条件。

因此，输出 No。

样例解释 3

atcoder 的长度为 $7$，密码长度至少为 $7$，因此满足长度条件。

因此，输出 Yes。