#include<stdio.h>
void main()
{  char*month[]={"Jan","Feb","Mar",
                 "Apr","May","Jun",
		         "Jul","Aug","Sep",
				 "Oct","Nov","Dec"};
   int n;
   scanf("%d",&n);
   while(n)
   {  puts(month[n-1]);
      scanf("%d",&n);
   }
}