#include<stdio.h>
int maxday(int year, int month)
{
	if (month == 1 || month == 3 || month == 5 || month == 7 || month == 8 || month == 10 || month == 12)
		return 31;
	if (month == 4 || month == 6 || month == 9 || month == 11)
		return 30;
	if (year % 400 == 0)
		return 29;
	if (year % 100 == 0)
		return 28;
	if (year % 4 == 0)
		return 29;
	return 28;
}
int main()
{
	int y, m, d;
	scanf("%d/%d/%d", &y, &m, &d);
	d += 2;
	if (d > maxday(y, m))
	{
		d -= maxday(y, m);
		m++;
		if (m > 12)
		{
			m = 1;
			y++;
		}
	}
	printf("%d/", y);
	if (m < 10)
		printf("0%d/", m);
	else
		printf("%d/", m);
	if (d < 10)
		printf("0%d\n", d);
	else
		printf("%d\n", d);
	return 0;
}