#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; }