Решение задачи Рома и счастливые цифры с Codeforces

Рома любит счастливые числа Маленького Слоника из Львова.

Напомним, что счастливыми являются положительные целые числа, в десятичной записи которых содержатся только счастливые цифры 4 и 7. Например, числа 47, 744, 4 являются счастливыми, а 5, 17, 467 — не являются.

У Ромы есть n целых положительных чисел. Его интересует вопрос: в скольких из этих чисел количество счастливых цифр не превосходит k? Помогите ему, напишите программу, которая решает эту задачу.