#include<bits/stdc++.h>
using namespace std;
int n,x,a[1009],b[1009],c[1009];
long long ans;
int main()
{
    freopen("running.in","r",stdin);
    freopen("running.out","w",stdout);
    scanf("%d%d",&n,&x);
    if(x==0)
    {
        printf("%d",0);
        return 0;
    }
    for(int i=1;i<=n;i++)
    {
        scanf("%d",&a[i]);
    }
    for(int i=1;i<=n;i++)
    {
        scanf("%d",&b[i]);
        c[i]=a[i]-b[i];
    }
    for(int i=1;i<=n;i++)
    {
        ans+=c[i]*x;
    }
    if(ans>10000)
    {
        printf("%s","2 hard 4 me");
    }
    else printf("%d",ans);
    return 0;
}