#include <stdio.h>int main(void){ int m; char*months[12]={"January","February","March","April","May","June","July","August","September","October","November","December"}; scanf("%d",&m); puts(months[m-1]); return 0;}