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

#include <atcoder/all>
using namespace atcoder;

using ll = long long;

int main() {
  int N, K;
  cin >> N >> K;
  vector<ll> A(N), B(N), C(N);
  for(int i = 0; i< N; i++) cin >> A[i];
  for(int i = 0; i< N; i++) cin >> B[i];
  for(int i = 0; i< N; i++) cin >> C[i];
  vector<ll> D(N);
  for(int i = 0; i < N; i++) D[i] = B[i] - C[i];
  ll ans = accumulate(A.begin(), A.end(), 0LL) + accumulate(C.begin(), C.end(), 0LL);
  sort(D.rbegin(), D.rend());
  for(int i = 0; i < K; i++) ans += D[i];
  cout << ans << endl;
}