#include<stdio.h>
int main()
{
long long x,n,count=0;
scanf("%lld%lld",&x,&n);
if(8-x>=2)count=2;
else count=1;
printf("%lld",(n-8+x)*250+(8-x-count)*250-(n-8+x)/7*2*250);
return 0;
}