#include <bits/stdc++.h>
using namespace std;
int main() {
  ios_base::sync_with_stdio(false);
  cin.tie(NULL);
  ;
  long long n, k, i;
  cin >> n >> k;
  vector<pair<long long, long long> > v;
  long long a[n], b[n];
  long long x, y;
  for (i = 0; i < n; i++) cin >> a[i];
  for (i = 0; i < n; i++) cin >> b[i];
  for (i = 0; i < n; i++) {
    x = a[i] - b[i];
    v.push_back(make_pair(x, i));
  }
  sort(v.begin(), v.end());
  i = 0;
  y = 0;
  while (i < n) {
    if (i < k || v[i].first <= 0)
      y = y + a[v[i].second];
    else if (i >= k && v[i].first > 0)
      break;
    ++i;
  }
  while (i < n) {
    y = y + b[v[i].second];
    ++i;
  }
  cout << y;
}
