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