#include <iostream>
using namespace std;

bool day[1000010] = {0};

int main(){
	int d, t;
	cin >> d >> t;
	
	if(d != 6 || d != 7)day[d] = 1;
	
	int cnt = 0;
	for(int i = d; i <= t + d - 1; i++){
		if(i % 6 == 0 || i % 7 == 0)continue;
		else day[i] = 1;	
	}
	
	for(int i = 1; i <= t + d; i++)if(day[i] == 1)cnt++;

	cout << cnt * 250;
	
	return 0;
}