main(m){
char a[99]="JANFEBMARAPRMAYJUNJULAUGSEPOCTNOVDEC";
printf("%.3s%s",a
+--m
*3,a
+52); }
bWFpbihtKXsKICAgIGNoYXIgYVs5OV09IkpBTkZFQk1BUkFQUk1BWUpVTkpVTEFVR1NFUE9DVE5PVkRFQyI7CiAgICBzY2FuZigiJTRzJWQiLGErNTAsJm0pOwogICAgcHJpbnRmKCIlLjNzJXMiLGErLS1tKjMsYSs1Mik7Cn0K