Рома бяцхан заан Лвовын азын тоонуудад хайртай.

Та бүхэнд санууляа азын тоо гэдэг нь аравтын бичлэгдээ зөвхөн $4$ ба $7$ цифрүүдийг агуулна. Жишээ нь $47$, $744$, $4$ нь азын тоонууд харин $5$, $17$, $467$ нь азын тоонууд биш.

Ромад $n$ ширхэг бүхэл тоонууд байгаа. Тэр хачирхалтай нь тэр өөрт нь хэдэн $k$ гаас хэтрэхгүй оронтой азын тоо байгааг олохыг хүсжээ. Та түүнд туслаж нь бодлогыг бодох программ зохиож өгнүү.

Оролт

Эхний мөрөнд $n$ ба $k$ ($1 ≤ n, k ≤ 100$) хоёр бүхэл тоонууд өгөгдөнө. Хоёр дахь мөрөнд $n$ ширхэг бүхэл тооноос бүрдэх $a_i$ ($1 ≤ a_i ≤ 10^9$) Ромад байгаа тоонууд өгөгдөнө.

Гаралт

Ганц мөрөнд бодлогын хариу болох ганц бүхэл тоог хэвлэнэ.

In the first sample all numbers contain at most four lucky digits, so the answer is $3$.

In the second sample number $447$ doesn't fit in, as it contains more than two lucky digits. All other numbers are fine, so the answer is $2$.