#include <bits/stdc++.h>
using namespace std;
bool check(long long int x) {
  long long int y;
  while (x > 0) {
    y = x % 10;
    x /= 10;
    if (!(y == 4 || y == 7)) return 0;
  }
  return 1;
}
long long int power(long long int x, long long int y) {
  long long int res = 1;
  while (y > 0) {
    if (y & 1) res = res * x;
    res %= 1000000007;
    y = y >> 1;
    x = x * x;
    x %= 1000000007;
  }
  return res;
}
long long int inv(long long int x) { return power(x, 1000000007 - 2); }
long long int nr[100009];
void ncr(long long int n) {
  long long int res = 1;
  nr[0] = 1;
  for (long long int i = 1; i <= n; i++) {
    res *= (n - i + 1);
    res %= 1000000007;
    res *= inv(i);
    res %= 1000000007;
    nr[i] = res;
  }
}
long long int d[1500];
int main() {
  ios_base::sync_with_stdio(false);
  cin.tie(NULL);
  long long int n, k;
  cin >> n >> k;
  map<long long int, long long int> m;
  long long int x;
  long long int a = 0;
  for (long long int i = 0; i < n; i++) {
    cin >> x;
    if (check(x))
      m[x]++;
    else
      a++;
  }
  long long int q = 0;
  d[0] = 1;
  for (auto i : m) {
    q++;
    for (long long int j = q; j > 0; j--) {
      d[j] += (d[j - 1] * i.second);
      d[j] %= 1000000007;
    }
  }
  long long int ans = 0;
  ncr(a);
  for (long long int i = 0; i <= q; i++) {
    ans += nr[k] * d[i];
    ans %= 1000000007;
    if (k == 0) break;
    k--;
  }
  cout << ans;
}
