#include<bits/stdc++.h> using namespace std; int weeks[8]={0,250,250,250,250,250,0,0}; int main(){ int x,n; cin>>x>>n; int sum=0; for(int i=0;i<n;i++){ sum+=weeks[(i%7+x)%7]; } cout<<sum; }