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