#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; }