#include <bits/stdc++.h>
int main() {
  int n, k, i, b, num1 = 0, num2 = 0, a[105];
  scanf("%d%d", &n, &k);
  for (i = 0; i < n; i++) {
    scanf("%d", &a[i]);
  }
  for (i = 0; i < n; i++) {
    while (a[i] > 0) {
      b = a[i] % 10;
      a[i] = a[i] / 10;
      if (b == 4 || b == 7) {
        num1++;
      }
    }
    if (num1 <= k) {
      num2++;
      num1 = 0;
    }
    num1 = 0;
  }
  printf("%d", num2);
}
