function Main(input) {

	input = input.split(" ");
	if (!(input[0] && input[1] && input[0] >= 1 && input[1] <= 31)) return false;
	
	if (input[0] > 0) input[0] = parseInt(input[0]) - 1;
	input[1] = parseInt(input[1]);
	
	const targetEventDates = [23, 24, 25],
     	monthlyDateRange = Array.from({length: 31}, (v, k) => k+1),
     	scheduledDateRange = Array.prototype.slice.apply(monthlyDateRange, input);
	
    let invalidCount = 0;
    
    scheduledDateRange.forEach(function(dr){
        if (targetEventDates.indexOf(dr) !== -1) invalidCount++;
    });
    console.log(invalidCount);
}

//*この行以降は編集しないでください（標準入出力から一度に読み込み、Mainを呼び出します）
Main(require("fs").readFileSync("/dev/stdin", "utf8"));