#include<stdio.h>
int main()
{
	int year = 0;
	int month = 0;
	int days[12] = { 31,28,31,30,31,30,31,31,30,31,30,31 };
	int day = 0;
	while (scanf("%d%d", &year, &month) != EOF)
	{
		if (((year % 4 == 0) && (year % 100 != 0)) || (year % 400 == 0))
		{
			if (month == 2)
				day = days[month - 1] + 1;
			else
				day = days[month - 1];
		}
		else
			day = days[month - 1];
		printf("%d\n", day);
		getchar();
	}

	return 0;
}