#include<bits/stdc++.h> //万能头文件 using namespace std; int main(){ long long x,n; cin>>x>>n; cout<<(n/7)*5*250+(x+n%7)%7*250; }