Background

Description

众所周知，十二生肖分别是：子鼠，丑牛，寅虎，卯兔，辰龙，巳蛇，午马，未羊，申猴，酉鸡，戌狗，亥猪。

新的一年来到了龙年，而这，就是小陈老师的本命年，小陈老师为了庆祝新年，打算在他所在的所有学习信奥的群都发出红包。

红包的面额有10元，50元，1000元。小陈老师对外宣称他的红包是拼手气，但是他暗搓搓地重新设计了领取红包的算法：

1.因为他认为龙是最强的生肖，所以排在龙前面的生肖得不到小陈老师的认可，这些生肖的人只能得到最低面额的红包。

2.排在龙后面的生肖会得到小陈老师的正常对待，这些生肖的人会得到50元面额的红包。

3.与小陈老师同样属龙的，则会得到小陈老师的赞赏，得到1000元的红包！

而如何知道其他人的生肖呢，小陈老师会让他们领取红包时输入年龄，再根据自己的年龄，推算他们的生肖。

请你帮小陈老师算算，他需要多少钱来发红包。

Format

Input

第一行两个个正整数 n，m，分别表示领取红包的人数和小陈老师的年龄。

第二行 $n$ 个整数，第 $i$ 个整数表示第 $i$ 个人的年龄为 $a_i$​

Output

一个整数，表示小陈老师的总花费

Samples

2 20
8 21

1050

Limitation

样例1解释：第一个领红包的人属龙，领到了1000元红包，第二个人属蛇，领到了50元，所以小陈老师一共花费1050元。

0≤n≤4000000

0≤m, $a_i$≤256

1s, 1024KiB for each test case.