#include <bits/stdc++.h> using namespace std; int main(){ int x,n; cin>>x>>n; int count1=0; int count2=0; for(int i=0;i<n;i++){ if((x+i)%7==6||(x+i)%7==0) { count2++; }else{ count1++; } } cout<<count1*250; return 0; }