m,i;main(d){for(d=getchar()%3*2+2;i++<52;d+=7,d%=m-2?m^m>7|30:28)printf("\n%02d: %2$02d"+(d<7?++m<2:6),m,d+1);}