#include<bits/stdc++.h>
using namespace std;
int main(){
	long long s;
	int i,x,n,a; 
    cin>x>>n;
s=(n/7)*250*5;
a=n%7;
for(i=x;i<a;i++){
    if(i!=7||i!=6)
    s+=250;
    if(i==7)
i=1;}
cout<<s;
        return 0;
    }