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

int main()
{
    ios::sync_with_stdio(false);
    cin.tie(nullptr);
    int N,K;
    cin>>N>>K;
    vector<int>D(N);
    long ans=0;
    for(int i=0;i<N;i++)
    {
        int a;
        cin>>a;
        ans+=a;
    }
    vector<int>B(N),C(N);
    for(int i=0;i<N;i++)cin>>B[i];
    for(int i=0;i<N;i++)cin>>C[i],ans+=C[i];
    for(int i=0;i<N;i++)D[i]=B[i]-C[i];
    sort(D.begin(),D.end(),greater());
    for(int i=0;i<K;i++)ans+=D[i];
    cout<<ans<<endl;
}