1、
#include<iostream>
#include<cstdio>
using namespace std;
int main()
{
int x,x1,s1=0;
long long int n,s2;
scanf("%d%lld",&x,&n);
s2=n/7*250*5;
x1=n%7;
for(int i=1;i<=x1;i++)
{
if(x>7) x-=7;
if(x!=6&&x!=7) s1+=250;
x+=1;
}
printf("%lld",s1+s2);
return 0;
}