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

int main() {
    int N, K;
    cin >> N >> K;
    vector A(N, 0LL), B(N, 0LL), C(N, 0LL);
    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 D(N, make_pair(0LL, 0));
    for(int i = 0; i < N; i++) D[i] = {B[i]-C[i], i};
    sort(rbegin(D), rend(D));
    long long ans(0LL);
    for(int i = 0; i < N; i++) {
        int ni = D[i].second;
        if(i < K) {
            ans += A[ni] + B[ni];
        }else {
            ans += A[ni] + C[ni];
        }
    }
    cout << ans << endl;
    return 0;
}