#include<bits/stdc++.h> using namespace std; int x,m,a,day; long long n,sum; int main(){ cin>>x>>n; for(int i=x;i<x+n;i++){ if(i%7!=6 && i%7!=0) day++; } // cout<<day<<endl; sum=day*250; cout<<sum<<endl; // system("pause"); return 0; }