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

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

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

#样例1#
##样例输入1##

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

##样例输出1##

12
14

#限制#
1000ms
32768KB

#提示#

#来源#
guoxu