#include <stdio.h>
#include <bits/stdc++.h>
#include <atcoder/all>
using namespace atcoder;
using mint = modint998244353;
using namespace std;
#define rep(i,n) for (int i = 0; i < (n); ++i)
#define Inf32 1000000001
#define Inf64 1000000000000000001

int main(){
	
	int n,k;
	cin>>n>>k;
	vector<long long> a(n),b(n),c(n);
	rep(i,n)cin>>a[i];
	rep(i,n)cin>>b[i];
	rep(i,n)cin>>c[i];
	long long ans = 0;
	vector<long long> t;
	rep(i,n){
		ans += a[i] + c[i];
		t.push_back(b[i]-c[i]);
	}
	sort(t.rbegin(),t.rend());
	rep(i,k)ans += t[i];
	cout<<ans<<endl;
    return 0;
}