#include<bits/stdc++.h>
using namespace std;
long long n,x,qw,qr;
int main(){
    freopen("running.in","r",stdin);
    freopen("running.out","w",stdout);
    cin>>n>>x;
    for(int i=1;i<=n;i++){
        int y;
        cin>>y;
        qw+=y;
    }
    for(int i=1;i<=n;i++){
        int y;
        cin>>y;
        qr+=y;
    }
    qw=qw-qr;
    if(qw*x>10000){
        cout<<"2 hard 4 me"<<endl;
        return 0;
        }
        cout<<qw*x;
           return 0;
}