#include <bits/stdc++.h>
using namespace std;

int main(){
  int n , k ;
  cin >> n >> k ;
  int ans = 0;
  vector<int> mon(1100,3000);
  sort(mon.begin(),mon.end());
  
  for(int i=0;i<K;i++){
    ans += mon[i] ;
  }
  
  cout << ans << endl;
}
  