Description

梦幻boy世博回来后，向小dai童鞋讲述了世博的种种景观，小dai童鞋那个心动啊，决定也要去世博。逛完世博之后，小dai要带些纪念品回去，世博的纪念品小dai都喜欢，所以他决定全都买下来。世博纪念品有原价和优惠价，只要拿一张优惠券则可以以优惠价买到纪念品，否则只能按原价买了，小dai有K张优惠券，他想以最少的钱买到所有的纪念品，你来帮帮他吧。

Input

题目有多组数据，每组数据有三行，第一行两个数，N,K(0<=K<=N<=50),即有N个纪念品，K张优惠券；第二行有N个小于1000的正数，表示N个纪念品的原价；第三行有N个小于1000的正数，表示N个纪念品的优惠价。世博很奇怪，有的纪念品优惠价的比原价更高。

Output

输出一个整数，表示小dai花费的最少钱数

Sample

Input

3 1
4 5 15
1 2 3
2 0
10 4
5 1

Output

12
14

Source: guoxu