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

int main() {
  int N, K; cin >> N >> K;
  long long Ans = 0;
  vector<int> A(N), B(N), C(N);
  for (int &a : A) cin >> a;
  for (int &b : B) cin >> b;
  for (int &c : C) cin >> c;
  vector<pair<int, int>> P(N);
  for (int i = 0; i < N; i++) {
    P.at(i).first = B.at(i) - C.at(i);
    P.at(i).second = i;
  }
  sort(P.rbegin(), P.rend());
  for (int i = 0; i < K; i++)
    Ans += A.at(P.at(i).second) + B.at(P.at(i).second);
  for (int i = K; i < N; i++)
    Ans += A.at(P.at(i).second) + C.at(P.at(i).second);
  cout << Ans << endl;
}