#include <bits/stdc++.h>
using namespace std;
int main(){
int x,n,r,q,day,distance;
cin >> x >> n;
r = n % 7;
q = n / 7;
day = q * 5 + r;
if (x == 5){
if (r == 1){
day = day - 1;
}else if (r >= 2){
day = day - 2;
}
}else if (x == 6){
if (r >= 1){
day = day - 1;
}
}
distance = day * 250;
cout << distance;
return 0;
}