#include<bits/stdc++.h>
using namespace std;
int main()
{
	int n, x, s = 0;
	cin >> x >> n;
	//从周x开始，周x也要算一天，所以范围到x+n-1号
	for(int i = x; i <= x+n-1; i++){
		//7天为一周，周六日休息
		if(i % 7 != 6 && i % 7 != 0){
			s += 250;
		} 
	} 
	cout << s << endl;
	return 0;
}