#include <bits/stdc++.h>
using namespace std;
int main(int argc, char** argv) {
  int n, k, i, x;
  long long D = 0;
  cin >> n >> k;
  vector<int> V(n);
  for (i = 0; i < n; i++) cin >> V[i];
  for (i = 0; i < n; i++) {
    cin >> x;
    D += x;
    V[i] -= x;
  }
  sort(V.begin(), V.end());
  for (i = 0; i < k; i++) D += V[i];
  for (; i < n; i++) {
    if (V[i] >= 0) break;
    D += V[i];
  }
  cout << D;
  return 0;
}
