#include <bits/stdc++.h>
using namespace std;

int main(){
	int x,n,a;
	scanf("%d %d",x,n);
	for(int i=1;i<=n;i++){
		x=x+1;
		if ((x!=6)&&(x!=7)) a+=250;
		if (x==7) x=1;
		else x++;
	}
	printf("%d",a);
	return 0;
}