main(n){scanf("%*d");for(;~scanf("%d",&n);)printf("%d %s\n",n,n-1?n-2?n-3?n-4?n-5?n-6?n-7?n-8?n-9?n-10?n-11?"December":"November":"October":"September":"August":"July":"June":"May":"April":"March":"February":"January");}
Note that non-ascii characters in the above source code will be escaped (such as \x9f).