#include<bits/stdc++.h> using namespace std; int main(){ long long tot=0; int x,n; cin>>x>>n; int x1; for(;x<=n;x++){ x1=x%7; if(x1!=6&&x1!=0) tot+=250; } cout<<tot; return 0; }