A - Required Length Editorial /

Time Limit: 2 sec / Memory Limit: 1024 MiB

配点 : 100

問題文

高橋君は、ある web サイトに設定するパスワードを、英小文字のみからなる文字列 P にしようと考えています。
一方で、その web サイトのパスワードは長さ L 以上の文字列である必要があります。

P が長さの条件をみたすか、すなわち長さ L 以上の文字列であるか判定してください。

制約

  • P は英小文字のみからなる長さ 1 以上 100 以下の文字列
  • 1 \leq L \leq 100
  • L は整数

入力

入力は以下の形式で標準入力から与えられる。

P
L

出力

P が長さの条件をみたすならば Yes を、そうでないならば No を出力せよ。


入力例 1

chokudai
5

出力例 1

Yes

chokudai の長さは 8 であり、特に 5 以上であるため長さの条件をみたしています。
よって、Yes を出力します。


入力例 2

ac
3

出力例 2

No

ac の長さは 2 であり、特に 3 未満であるため長さの条件をみたしていません。
よって、No を出力します。


入力例 3

atcoder
7

出力例 3

Yes

atcoder の長さは 7 であり、特に 7 以上であるため長さの条件をみたしています。
よって、Yes を出力します。

Score : 100 points

Problem Statement

Takahashi wants to set his password for a certain website to a string P consisting of lowercase English letters.
The password for that website must be a string of length at least L.

Determine whether P satisfies the length condition, that is, whether it is a string of length at least L.

Constraints

  • P is a string consisting of lowercase English letters with length between 1 and 100, inclusive.
  • 1 \leq L \leq 100
  • L is an integer.

Input

The input is given from Standard Input in the following format:

P
L

Output

If P satisfies the length condition, print Yes; otherwise, print No.


Sample Input 1

chokudai
5

Sample Output 1

Yes

The length of chokudai is 8, which is at least 5, so it satisfies the length condition.
Thus, print Yes.


Sample Input 2

ac
3

Sample Output 2

No

The length of ac is 2, which is less than 3, so it does not satisfy the length condition.
Thus, print No.


Sample Input 3

atcoder
7

Sample Output 3

Yes

The length of atcoder is 7, which is at least 7, so it satisfies the length condition.
Thus, print Yes.