#include<bits/stdc++.h>
using namespace std;
int main(){
	int x,n;
	scanf("%d%d",&x,&n);
	int sum=0;
	if(n==0){
		printf("0\n");
		return 0;
	}
	int t;
	for(int i=1;i<=n;i++){
		t=i%7;
		if(t!=0&&t!=6) sum+=250;
	}
	printf("%d\n",sum);
	return 0;
}
//小蒟蒻求助