#include<stdio.h>
int main(){
int x,n;
scanf("%d %d",&x,&n);
if(n==0) printf("0");
else{
int m=6-x+2;
int na = (6-x)*250;
int me = (n-m)/7;
int meme = me*5*250;
int yuan = ((n-m)%7)*250;
int gongli = meme + yuan + na;
printf("%d",gongli);}
return 0;
}