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