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

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