題目描述

最近有一件事，令身為主人的貓貓十分生氣，就是貓奴竟然擅作主張把最高級的彩虹貓糧換成了低級糧，但是它的味道十分相似，一定要吃了才分辨出是高級的彩虹貓糧還是低級糧。作為一家之主的貓貓當然不能受此屈辱，如果連續吃到 x 顆低級糧就會選擇發脾氣不吃了，如果吃到高級的彩虹貓糧則重新計算，看看今餐一家之主能吃多少顆高級的彩虹貓糧。

輸入格式

第一行兩個正整數，分別代表今餐有多少顆貓糧 n 和當連續吃到 x 顆低級糧時會停止進食

第二行有 n 個正整數，代表每顆貓糧的美味值，如果它是 7 的倍數或者自身有 7 這個數字就是高級的彩虹貓糧，否則是低級糧。

輸出格式

一個整數，一家之主這餐總共食了多少顆高級彩虹貓糧。

Samples

8 2
12 14 71 81 56 32 19 17

3

提示

總共有 8 顆貓糧。

12 => 低級糧
14 => 高級彩虹貓糧
71 => 高級彩虹貓糧
81 => 低級糧
56 => 高級彩虹貓糧
32 => 低級糧
19 => 低級糧
17 => 高級彩虹貓糧

由於 32, 19 有連續 2 顆低級貓糧，一家之主就開始發脾氣了......
所以總共這餐食了 3 顆高級彩虹貓糧。

數據範圍：
1 <= n, x <= 1000
貓糧的美味值 [0, 100) 之間

原始資料

• Zero1 題號：b378
• Hydro 題號：Z1378
• Locale：zh_TW
• Display：open