#include <iostream>
#include <vector>
using namespace std;

int main() {
    int n,x;
    cin>>n>>x;
    vector<int> price1(n),price2(n);
    for (int i=0; i<n; ++i) {
        cin>>price1[i];
    }
    for (int i=0; i<n; ++i) {
        cin>>price2[i];
    }
    int all_price=0;
    for (int i=0; i<n; ++i) {
        all_price+=((price1[i]<price2[i])?price1[i]:price2[i]);
    }
    cout<<((all_price<x)?all_price:x);
}
// 64 位输出请用 printf("%lld")