L1-033 出生年

const readline = require("readline");
function getPaddingYear(year){
  let year_str = ''+year
  let len = year_str.length
  let padding_count = 4 - len
  for(let i = 0; i < padding_count; i++){
    year_str = '0'+year_str
  }
  return year_str
}

function getNumSize(year_str){
  let set = new Set()
  for(let c of year_str){
    set.add(c)
  }
  return set.size;
}
const rl = readline.createInterface({
  input: process.stdin,
  output: process.stdout,
});
const input_arr = [];//储存数据
rl.on('line', function (line) {
  input_arr.push(line);
}
);

rl.on('close', function () {
  let info = input_arr[0]
  let arr = info.split(' ')
  let init_year = parseInt(arr[0])
  let diff_num = parseInt(arr[1])
  
  let sum = 0;
  let tmp_size = getNumSize(getPaddingYear(init_year))
  
  while(tmp_size !== diff_num){
    init_year++
    tmp_size = getNumSize(getPaddingYear(init_year));
    sum++
  }
  
  process.stdout.write(sum+' '+ getPaddingYear(init_year))
  
})

let rs = require('readline-sync')

let info = rs.question()
let arr = info.split(' ')
let init_year = parseInt(arr[0])
let diff_num = parseInt(arr[1])

let sum = 0;
let tmp_size = getNumSize(getPaddingYear(init_year))

while(tmp_size !== diff_num){
  init_year++
  tmp_size = getNumSize(getPaddingYear(init_year));
  sum++
}

process.stdout.write(sum+' '+ getPaddingYear(init_year))