#include<cstdio>
using namespace std;
int xinqi[7] = {250,250,250,250,250,0,0};
int main(){
	int n,m,ans;
	scanf("%d%d",&n,&m);
	for(int i = n - 1;i < n + m;i++){
		ans += xinqi[i % 7];
	}
	printf("%d",ans);
}

谢谢了