#include<bits/stdc++.h> using namespace std; int main(){ int i=0,n,n1,x,a=0,b; cin>>x>>n; b=x; while(i<n){ if(b==7){ b=1; i++; }else if(b==6){ b=7; i++; }else{ a+=250; i++; b++; } } cout<<a; }