#include<stdio.h>
int main(){
long long int x, num, km=0;
scanf("%lld %lld", &x, &num);
for(int i=0;i<num;i++){
switch (x){
case 1: case 2: case 3: case 4: case 5: km+=250;
case 6:x++; continue;
case 7:x=1; continue;
}
}
printf("%lld", km);
return 0;
}