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