T95提速啦，然而她觉得自己还是太慢了！
于是T95决定减肥——然而T95还喜欢吃麦当劳
现在有n种赛道，n家麦当劳，第i条赛道的痛苦值是ai，第i家麦当劳的快乐值是bi
为了减肥，T95吃的麦当劳次数不能大于她跑步的次数
由于T95太重了，每个赛道跑一次之后就会坏掉
由于T95喜欢吃不同的口味，每家麦当劳最多吃一次
由于明斯克航空航天局的蜜汁bug，T95每跑3次就会得到额外的m块乐值
现在T95想知道她可以得到的最大（快乐值的和-痛苦值的和）是多少
第一行两个数n,m
第二行n个数表示ai
第三行n个数表示bi
输出一行一个数表示答案
对于100%的数据，有1 <= n <= 1000000 , 0<=ai,bi,m<=2000000000