#include <bits/stdc++.h>

using namespace std;
using ll = long long;

int main(){
    cin.tie(nullptr);
    ios_base::sync_with_stdio(false);

    ll N, K, S=0, A;
    cin >> N >> K;
    vector<ll> B(N), C(N);
    for (int i=0; i<N; i++){
        cin >> A;
        S += A;
    }
    for (int i=0; i<N; i++){
        cin >> B[i];
        S += B[i];
    }
    for (int i=0; i<N; i++){
        cin >> C[i];
        C[i] -= B[i];
    }
    sort(C.rbegin(), C.rend());
    for (int i=0; i<N-K; i++){
        S += C[i];
    }
    cout << S << endl;

    return 0;
}