#include <bits/stdc++.h>
using namespace std;

using ll = long long;
using ld  = long double;
using pint = pair<int, int>;
using pll = pair<ll, ll>;
using pld = pair<ld, ld>;
const int INF=1e9+7;
const ll LINF=9223372036854775807;
const ll MOD=1e9+7;
const ld PI=acos(-1);
const ld EPS = 1e-10; //微調整用（EPSより小さいと0と判定など）

int ii() { int x; if (scanf("%d", &x)==1) return x; else return 0; }
long long il() { long long x; if (scanf("%lld", &x)==1) return x; else return 0; }
string is() { string x; cin >> x; return x; }
char ic() { char x; cin >> x; return x; }
void oi(int x) { printf("%d ", x); }
void ol(long long x) { printf("%lld ", x); }
void od_nosp(double x) { printf("%.15f", x); } // 古い問題用
void od(double x) { printf("%.15f ", x); }
// long doubleで受け取り、fをLfなどに変えて出力すると、変な数値が出る
// それをなんとかするには独自の出力を作らなければならなそう
void os(const string &s) { printf("%s ", s.c_str()); }
void oc(const char &c) { printf("%c ", c); }
#define o_map(v){cerr << #v << endl; for(const auto& xxx: v){cout << xxx.first << " " << xxx.second << "\n";}} //動作未確認
void br() { putchar('\n'); }

// #define gcd __gcd //llは受け取らない C++17~のgcdと違うので注意
// int lcm(int a, int b){return a / gcd(a, b) * b;}
#define begin_end(a) a.begin(),a.end() //sort(begin_end(vec));
#define REP(i,m,n) for(ll i=(ll)(m) ; i < (ll)(n) ; i++ )
#define DREP(i,m,n) for(ll i=(ll)(m) ; i > (ll)(n) ; i-- )
#define rep(i,n) REP(i,0,n)
#define m_p(a,b) make_pair(a,b)
#define SORT_UNIQUE(c) (sort(c.begin(),c.end()), c.resize(distance(c.begin(),unique(c.begin(),c.end()))))
#define GET_POS(c,x) (lower_bound(c.begin(),c.end(),x)-c.begin())
#define p_b push_back
#define SZ(x) ((int)(x).size) //size()がunsignedなのでエラー避けに


// coutによるpairの出力（空白区切り）
template<typename T1, typename T2> ostream& operator<<(ostream& s, const pair<T1, T2>& p) {return s << "(" << p.first << " " << p.second << ")";}
// coutによるvectorの出力（空白区切り）
template<typename T> ostream& operator<<(ostream& s, const vector<T>& v) {
  int len = v.size();
  for (int i = 0; i < len; ++i) {
    s << v[i]; if (i < len - 1) s << " "; //"\t"に変えるとTabで見やすく区切る
  }
  return s;
}
// coutによる多次元vectorの出力（空白区切り）
template<typename T> ostream& operator<<(ostream& s, const vector< vector<T> >& vv) {
  int len = vv.size();
  for (int i = 0; i < len; ++i) {
    s << vv[i] << endl;
  }
  return s;
}

//最大値、最小値の更新。更新したor等しければtrueを返す
template<typename T>
bool chmax(T& a, T b){return (a = max(a, b)) == b;}
template<typename T>
bool chmin(T& a, T b){return (a = min(a, b)) == b;}

//4近傍（上下左右） rep(i, 2) にすると右・下だけに進む
vector<int> dx_4 = {1, 0, -1, 0};
vector<int> dy_4 = {0, 1, 0, -1};

// -------- template end - //


// - library ------------- //



// --------- library end - //


int main(){

  string N = is();
  ll len = N.size();
  N = "0" + N; // 1-indexed にする
  ll K = il();

  // dp[d:(0は番兵)1~len][s:0|1][k:0~K] := d:1~N.size()桁目（1-indexed）まで数字を選んで、s:(0:exact|1:smaller)の場合に、0でない数字がk:0~K個あるようなものの個数
  vector<vector<vector<ll> > > dp(len+1, vector<vector<ll> >(2, vector<ll>(K+1, 0)));
  // 番兵の設定
  dp[0][0][0] = 1;

  rep(d, len){
    // d:0~len-1 から d+1:1~len へ 配るDP
    // d+1 桁目でどの数字を選ぶかを考える
    // なお、

    // exact -> exact
    // N[d+1]を選ぶしか選択肢が無い
    // N[d+1]!=0 と N[d+1]==0 で変わる
    if (N[d+1]=='0'){
      // N[d+1]==0 の場合なので、0でない数字の数（k）は増えない
      rep(k, K+1){
        // k : 0 ~ K
        dp[d+1][0][k] += dp[d][0][k];
      }
    }
    else{
      rep(k, K){
        // k : 0 ~ K-1。Kの場合はK個を超えるのでカウントしない
        dp[d+1][0][k+1] += dp[d][0][k];
      }
    }

    // exact -> smaller
    // 選べる数字の範囲は i : 0 ~ N[d+1]-1
    rep(i, N[d+1]-'0'){
      // i : 0 ~ N[d+1]-1
      if (i == 0){
        rep(k, K+1){
          // k : 0 ~ K
          dp[d+1][1][k] += dp[d][0][k];
        }
      }
      else{
        // 1~N[d+1]-1を選んだ
        rep(k, K){
          // k : 0 ~ K-1
          dp[d+1][1][k+1] += dp[d][0][k];
        }
      }
    }

    // smaller -> smaller
    // d==0 の場合、1桁目なので、前まででsmallerを構成できていないので、処理しない。2桁目以降なら、必ずsmallerがある（1桁目で0を選べばいい）ので、処理をする
    // 0 を選んでも 1~9 を選んでもいいが、1~9 を選んだ場合は、0でない数字がK+1個になる場合はカウントしない
    if (d!=0){
      // まず、0を選んだ場合
      rep(k, K+1){
        // k : 0 ~ K
        dp[d+1][1][k] += dp[d][1][k];
      }
      // 次に、1~9を選んだ場合
      rep(k, K){
        // k : 0 ~ K-1。k=Kの場合はK個を超えるのでカウントしない
        dp[d+1][1][k+1] += dp[d][1][k] * 9;
      }
    }

  }

  // 全て0であるパターンが入ってしまっているが、それはdp[104][1][0]に入っているはずなので無視していい
  cout << dp[len][0][K] + dp[len][1][K] << endl;


}

Measured memory_bytes: 3720