// C++

#include <cstdio>
int main()
{
    int y, n;
    int f[13] = {0, 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31};
    while (scanf("%d%d", &y, &n) != EOF)
    {
        // 1.判断是否为闰年
        if ((y % 4 == 0 && y % 100 != 0) || y % 400 == 0)
            f[2] = 29;
        else
            f[2] = 28;
        // 2.判断月份
        int m = 0;
        while (n > f[m])
            n -= f[m++];
        // 注意输出格式 个位数前面要补0
        printf("%4d-%02d-%02d\n", y, m, n);
    }
    return 0;
}