以上是新浪微博中一奇葩贴：“我出生于1988年，直到25岁才遇到4个数字都不相同的年份。”也就是说，直到2013年才达到“4个数字都不相同”的要求。本题请你根据要求，自动填充“我出生于y年，直到x岁才遇到n个数字都不相同的年份”这句话。

输入格式：

        输入在一行中给出出生年份y和目标年份中不同数字的个数n，其中y在[1, 3000]之间，n可以是2、或3、或4。注意不足4位的年份要在前面补零，例如公元1年被认为是0001年，有2个不同的数字0和1。

输出格式：

        根据输入，输出x和能达到要求的年份。数字间以1个空格分隔，行首尾不得有多余空格。年份要按4位输出。注意：所谓“n个数字都不相同”是指不同的数字正好是n个。如“2013”被视为满足“4位数字都不同”的条件，但不被视为满足2位或3位数字不同的条件。

输入样例1：

1988 4

输出样例1：

25 2013

输入样例2：

1 2

输出样例2：

0 0001

程序源码： 

// 导入C标准输入输出库，允许我们从键盘输入数据并输出到控制台  
#include <stdio.h>  
  
// 定义主函数，C程序的入口点  
int main()  
{  
    // 定义并初始化三个整数变量，y和n用于输入，year用于记录年份  
    int y, n, year;  
  
    // 定义五个整数变量  
    int a, b, c, d;  
    int i, flag=0;  
  
    // 定义一个长度为10的整数数组buf，并初始化为0。用于记录某个数字在年份中出现的次数  
    int buf[10] = {0};  
  
    // 从标准输入获取两个整数y和n  
    scanf("%d %d", &y, &n);  
  
    // 将输入的年份y赋值给year变量  
    year = y;  
  
    // 开始一个无限循环，直到满足条件跳出循环  
    while (1)  
    {  
        // 初始化buf数组为0，为记录下一个年份的四位数出现的次数做准备  
        for (i = 0; i < 10; i++)  
        {  
            buf[i] = 0;  
        }  
  
        // 计算当前年份的个位数，并记录它在buf数组中的值加1  
        a = year%10;  
        buf[a]++;  
  
        // 计算当前年份的十位数，并记录它在buf数组中的值加1  
        b = year/10%10;  
        buf[b]++;  
  
        // 计算当前年份的百位数，并记录它在buf数组中的值加1  
        c = year/100%10;  
        buf[c]++;  
  
        // 计算当前年份的千位数，并记录它在buf数组中的值加1  
        d = year/1000%10;  
        buf[d]++;  
  
        // 将flag初始化为0，用于记录是否有任何一个数字出现的次数大于0  
        flag = 0;  
  
        // 遍历buf数组，如果任何一个数字出现的次数大于0，则将flag加1  ,表示存在一个不同的数据
        for (i = 0; i < 10; i++)  
        {  
            if (buf[i] > 0)flag++;  
        }  
  
        // 如果flag等于n，说明已经找到了满足条件的月份，退出循环
        if (flag == n)break;  
  
        // 年份加1，进入下一个年份的处理  
        year++;  
    }  
  
    // 打印找到的四位数和它的年份。在格式上右对齐并至少占四位。通过在输出前加一个空格达到右对齐的效果。%04d表示输出的整数至少占四位，不足的部分用0填充。  
    printf("%d %04d", year-y, year);  
  
    // 主函数返回0，表示程序成功结束。这是C语言约定的一种惯例。  
    return 0;  
}