#include <bits/stdc++.h>
using namespace std;
set<long long> lucky;
void gen(long long g, long long lim) {
  if (g + 4 > lim)
    return;
  else
    lucky.insert(g + 4);
  gen(10 * (g + 4), lim);
  if (g + 7 > lim)
    return;
  else
    gen(10 * (g + 7), lim);
  lucky.insert(g + 7);
}
bool check(long long num) {
  for (long long x = num; x > 0; x /= 10) {
    if (x % 10 != 4 && x % 10 != 7) {
      return false;
    }
  }
  return true;
}
int main() {
  ios_base::sync_with_stdio(false);
  cin.tie(NULL);
  cout.tie(NULL);
  long long n, k;
  cin >> n >> k;
  if (n < 13) {
    long long fat = 1;
    for (int i = 2; i <= n; ++i) fat *= i;
    if (fat < k) {
      cout << -1 << '\n';
      return 0;
    }
  }
  --k;
  stack<int> f;
  for (int i = 1; k > 0; ++i) {
    f.push(k % i);
    k /= i;
  }
  gen(0, n - f.size());
  int len = f.size();
  vector<long long> nums(len), perm(len, 0);
  iota(nums.begin(), nums.end(), n - len + 1);
  for (long long i = 0; i < len; ++i) {
    perm[i] = nums[f.top()];
    nums.erase(nums.begin() + f.top());
    f.pop();
  }
  long long ans = lucky.size();
  for (long long j = n - len, i = 0; i < len; ++i, ++j) {
    if (check(j + 1) && check(perm[i])) {
      ++ans;
    }
  }
  cout << ans << '\n';
  return 0;
}
