#include <stdio.h>

char *getmonth( int n );

int main()
{
    int n;
    char *s;

    scanf("%d", &n);
    s = getmonth(n);
    if ( s==NULL ) printf("wrong input!\n");
    else printf("%s\n", s);

    return 0;
}

/* 你的代码将被嵌在这里 */

char *getmonth( int n )
{

    if(n>12||n<=0) return NULL;
    else
    {
       if(n==1) return "January";
       if(n==2) return "February";
       if(n==3) return "March";
       if(n==4) return "April";
       if(n==5) return "May";
       if(n==6) return "June";
       if(n==7) return "July";
       if(n==8) return "August";
       if(n==9) return "September";
       if(n==10) return "October";
       if(n==11) return "November";
       if(n==12) return "December";

    }
}