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

void fast_io() {
	ios_base::sync_with_stdio(false);
	cin.tie(nullptr);
}

int main() {
	fast_io();
	int n, k;
	cin >> n >> k;
	vector<long long> a(n), b(n), 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<int> idx(n);
	iota(idx.begin(), idx.end(), 0);

	sort(idx.begin(), idx.end(),
		 [&](int i, int j) { return c[i] - b[i] < c[j] - b[j]; });
	long long ans = 0;
	for (int i = 0; i < k; i++) {
		ans += a[i] + b[idx[i]];
	}
	for (int i = k; i < n; i++) {
		ans += a[i] + c[idx[i]];
	}
	cout << ans << endl;
}