Щасливi днi пiнгвiнiв

Обмеження: 2 сек., 256 МіБ

Всім пінгвінам давно відомо, що щасливими цифрами є цифри 4 та 7, і ніякі інші.

Одного разу на Мадагаскар завезли ящики з морозивом. Всього ящиків було \(n\) і кожен з них мав унікальний номер від 1 до \(n\) включно. Ящики будуть роздавати пінгвінам, при цьому в порядку зростання, тобто першим видадуть ящик з номером 1, а останнім — з номером \(n\).

Пінгвіни вишикувались в чергу за морозивом. Допоки залишається морозиво, його будуть роздавати пінгвіну, що зараз є першим в черзі. Кожен пінгвін рахує загальну кількість щасливих цифр серед номерів всіх отриманих ним ящиків. Як тільки це число перевищує \(k\), пінгвін вважає себе щасливим і залишає чергу, а його місце займає наступний пінгвін.

Ваша задача — визначити, скільки пінгвінів стануть щасливими після роздачі всіх ящиків із морозивом.

Вхідні дані

У першому рядку задано одне натуральне число \(k\) — необхідна кількість щасливих цифр, щоб пінгвін вважав себе щасливим.

У наступному рядку задано одне натуральне число \(n\) без ведучих нулiв.

Вихідні дані

У єдиному рядку виведiть одне ціле число — кiлькiсть пiнгвiнiв, якi стануть щасливими.

Обмеження

\(1 \le k \le 10\),

\(1 \le n \le 10^{10000}\).

Приклади

Вхідні дані (stdin) копіювати	Вихідні дані (stdout) копіювати
3 74	7

Примітки

Розглянемо, які ящики з щасливими цифрами дістануться пінгвінам:

1. Першому пінгвіну дістануться 4, 7, 14, 17.

2. Другому пінгвіну дістануться 24, 27, 34, 37.

3. Третьому пінгвіну дістануться 40, 41, 42, 43.

4. Четвертому пінгвіну дістануться 44, 45, 46.

5. П’ятому пінгвіну дістануться 47, 48, 49.

6. Шостому пінгвіну дістануться 54 57, 64, 67.

7. Сьомому пінгвіну дістануться 70, 71, 72, 73.

8. Восьмому пінгвіну дістануться 74 і він не вважає себе щасливим.