import calendar as c s=str.split while 1:a=s(c.TextCalendar(6).formatmonth(*map(int,s(raw_input()))),"\n");print"\n ".join(["%.3s %s"%tuple(s(a[0]))]+a[2:])[:-1]