题目描述

小瓜在百货商场购物，初始时他有 $m$ 元钱。

小瓜有 $n$ 个商品想购买，第 $i$ 个商品价格是 $a_i$ 元。他会按照顺序尝试买下每一个商品，如果买得起当前商品，就买下它；否则跳过它，前往下一个商品。

由于他是商场的大会员，因此在离开商场时，他可以获得一些返现。所有商品的总价可以打 $8.8$ 折（也就是原价的 $0.88$ 倍，向下取整），此前多支付的那一部分差价将会退还给小瓜。

请你计算一下，小瓜能够获得多少元的差价退还？

例如：小瓜买完东西后，商品的总价是 $100$ 元，那么打 $8.8$ 折之后就是 $88$ 元，应该退回的差价是 $100-88=12$ 元。

输入格式

第一行：两个整数 $n,m$，表示店面数和钱数。

第二行：$n$ 个整数 $a_1,a_2,...,a_n$，表示每家店面的商品价格。

输出格式

输出一个整数，表示退还的差价。

5 100
10 20 30 50 40

12

样例 $1$ 解释

小瓜购买了第一、第二、第三家店的商品后，手上只有 $40$ 元，买不起第四家店的商品，因此直接进入第五家店买下了 $40$ 元的商品。此时他总共消费了 $100$ 元。最后实际只应当支付 $88$ 元，因此退还 $12$ 元差价。

数据规模与约束

对于所有数据，$1 \leq n,m,a_i \leq 10000$。