def get_i() #空白区切の入力を数値(整数)の配列で返す
  return gets.chomp.split(" ").map(&:to_i)
end
def get_f() #空白区切の入力を数値(実数)の配列で返す
  return gets.chomp.split(" ").map(&:to_f)
end
def get() #空白区切の入力を文字列の配列で返す
  return gets.chomp.split(" ")
end
def get_nsp() #入力されたものを一文字ずつに区切った文字列の配列で返す
  return gets.chomp.split("")
end
def yn_judge(bool,y="Yes",n="No") #boolに真偽を投げることで、trueならy、falseならnの値を出力する
  return bool ? y : n 
end
def array(size1,init=nil,size2=1) #size2に二次元配列時の最初の要素数、size1に次の配列の大きさ、initに初期値を投げることでその配列を返す
  if size2==1
    return Array.new(size1){init}
  else
    return Array.new(size2){Array.new(size1){init}}
  end
end

N=get_nsp.map(&:to_i)
K=gets.to_i
L=N.size
dp=Array.new(L+1){Array.new(2){Array.new(L+1){0}}}

dp[0][0][0]=1
L.times do|i|
  2.times do|j|
    L.times do|k|
      lim=(j==1 ? 10 : N[i]+1)
      lim.times do|d|
        dp[i+1][j==1||d<N[i] ? 1 : 0][k+(d.zero? ? 0 : 1)]+=dp[i][j][k]
      end
    end
  end
end
puts dp[L][0][K]+dp[L][1][K]