#include<stdio.h>
int main(){
int x;
int n;
int m;
int a[10] = {0,1,2,3,4,5,6,7};
int j;
int k;
int s;
scanf("%d%d", &x, &n);
m = 0;
for (j = 0, k = x; j < n; j++){
if (a[k] <= 5){
m++;
}
k++;
if (k == 8){
k = 1;
}
}
s = m * 250;
printf("%d", s);
return 0;
}