CF262A.Roma and Lucky Numbers

Roma (a popular Russian name that means 'Roman') loves the Little Lvov Elephant's lucky numbers.

Let us remind you that lucky numbers are positive integers whose decimal representation only contains lucky digits 4 and 7. For example, numbers 47, 744, 4 are lucky and 5, 17, 467 are not.

Roma's got n positive integers. He wonders, how many of those integers have not more than k lucky digits? Help him, write the program that solves the problem.

罗玛（一个在俄罗斯广为人知的名字，意为“罗马”）喜爱小利沃夫大象的幸运数字。

我们来回顾一下：幸运数字是指其十进制表示中仅包含幸运数字 4 和 7 的正整数。例如，47、744、4 是幸运数字，而 5、17、467 则不是。

罗玛得到了 $n$ 个正整数。他想知道：其中有多少个整数所含的幸运数字（即数字 4 或 7）的个数不超过 $k$ 个？请帮助他编写一个解决该问题的程序。

The first line contains two integers n, k (1 ≤ n, k ≤ 100). The second line contains n integers a__i (1 ≤ a__i ≤ 109) — the numbers that Roma has.

The numbers in the lines are separated by single spaces.

第一行包含两个整数 $n$、$k$（$1 ≤ n, k ≤ 100$）。第二行包含 $n$ 个整数 $a_i$（$1 ≤ a_i ≤ 10^9$）—— Roma 拥有的数字。

每行中的数字以单个空格分隔。

In a single line print a single integer — the answer to the problem.

在一行中输出一个整数——该问题的答案。

In the first sample all numbers contain at most four lucky digits, so the answer is 3.

In the second sample number 447 doesn't fit in, as it contains more than two lucky digits. All other numbers are fine, so the answer is 2.

在第一个样例中，所有数字最多包含四个幸运数字，因此答案是 3。

在第二个样例中，数字 447 不符合条件，因为它包含超过两个幸运数字。其余所有数字均符合要求，因此答案是 2。