#include <stdio.h>

int main() {
    int year, month = 0;
    while (scanf("%d %d", &year, &month) != EOF) {
        int arr1[] = {0, 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31};
        //对应月份        1    2   3   4   5   6   7   8   9  10, 11  12
        if (year % 4 == 0 && year % 100 != 0 && month == 2) {//普通年份
            printf("%d\n", arr1[2] + 1);

        } else if (year % 400 == 0 && month == 2) { //世纪年份
            printf("%d\n", arr1[2] + 1);
        } else {
            printf("%d\n", arr1[month]);
        }
    }
    return 0;
}