#Z0226. 打怪

打怪

Description

Fennec 在打怪。 他面前有 N 只怪,第 i个怪的血量为 Hi 。 他可以有两种攻击方式:

普通攻击:将一只怪的血量减少1

特殊技能:将一只怪直接杀死

如果所有怪的血量全部 ≤0,那么Fennec就获胜了。

请你输出在Fennec最多只能使用 K次特殊技能的情况下, 他的普通攻击次数(不包括特殊技能)的最小值。

Format

Input

第一行给出N,K 第二行给出N个数字代表怪物的血量Hi

N,K<=2e5

Hi<=1e9

Output

如题

Samples

3 1
4 1 5
5