#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;
}