#include <stdio.h>
#include <string.h>
char s [12][20]={"January","February","March","April","May","June","July","August","September","October","November","December"};
char week[7][20]={"Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday"};
int f[13] ={0,31,28,31,30,31,30,31,31,30,31,30,31};
int main()
{
	int year,day,mon;
	char month[20]={0};	
	while(	scanf("%d %s %d",&day,month,&year)!=EOF)
	{
		long long cnt=0;	
		
		for(int i=0;i<12;i++)
		{
			if(strcmp(s[i],month)==0)
			{	
			mon=i+1;
			break;
			}
		}
		for(int i=1000;i<year;i++)
		{
			if(i%400==0||i%4==0&&i%100!=0)
			{
			cnt+=366; 
			}
			else 
			{
			cnt+=365;
			}
		}
	
		if(year%400==0||year%4==0&&year%100!=0) f[2]=29;	
		else f[2]=28;	
		if(mon==1)
		{
			cnt+=day;
		}
		else 
		{
			for(int i=1;i<mon;i++)
			{
		  	cnt+=f[i];
			}
			cnt+=day;
		}	
		cnt+=2; //为什么加2就对了我也不知道。我就是认为1000.1.1是星期一的 
		cnt%=7...