#include<bits/stdc++.h>
using namespace std;
int main(){
   
	string year;
	int k;
	cin>>year>>k;
	int a[130]={
   0};
	int cnt=0;
	for(int i=stoi(year);;i++,cnt++){
   //把year转换为int型
		int t=0;
		memset(a,0,sizeof(a));//把a中所有字节换做字符“0”，常用来对指针或字符串的初始化
		string s=to_string(i);//C++中的 to_string()系列函数将数值转换成字符串形式
		string d(4-s.size(),'0');
		d+=s;
		for(auto e:d){
   
			if(a[e]==0)
				t++;
			a[e]++;
		}
		if(t==k){
   
			cout<<cnt<<' ';
			printf("%04d",i);
			break;//跳出循环条件
		}
	}
	return 0;
} 

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

int main(){
   
	int n;
	string s;//年份 
	set<char> se;//set常用函数insert()
	//insert(x)可将x插入set容器中，并自动递增排序和去重
	cin>>s>>n;//输入 
	int i=stoi(s);//string->int 
	while(i){
   
		string st=to_string(i);//int->string
		string bu0(4-st.size(),'0');//补0 
		st=bu0+st;//直接加 
		for(auto e:st){
   //遍历一遍st 即现在的年份 
			se.insert(e);//插入 
		} 
		int cnt=se.size();//不同数字的数量 
		if(cnt==n){
   //退出条件 
			cout<<i-stoi(s)<<' '<<st;
			break;
		}
		i++;//递增 
		se.clear();//清空 
	}
	return 0;
}