#include <stdio.h>

int main()
{
    int year, month, day;
    extern int weekday(int year, int month, int day);

    scanf("%d%d%d", &year, &month, &day);

    while (weekday(year, month, day) != 1)
	day++;

    printf("%d/%02d/%02d is a Monday\n", year, month, day);

    return 0;
}