#include<bits/stdc++.h>
using namespace std;
typedef long double ld;
typedef string sg;
typedef long lg;
typedef double de;
typedef char ch;
typedef long long ll;

int main()
{
	ll n,x;
	cin>>n>>x;
	ll num=0;
	num+=250*(x/7*5);
	x%=7;
	for( ;x;x--){
		if(n==7){
			n=1;
			continue;
		}
		num+=250;n++;
	}
	cout<<num;
    return 0;
}