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