Петя любит счастливые числа. Всем известно, что счастливыми являются положительные целые числа, в десятичной записи которых содержатся только счастливые цифры 4 и 7. Например, числа 47, 744, 4 являются счастливыми, а 5, 17, 467 — не являются.
К сожалению, не все числа счастливые. Петя называет число почти счастливым, если количество счастливых цифр в нем — счастливое число. Ему интересно, является ли число n почти счастливым.
Выходные данные
В единственной строке выведите «YES», если число n — почти счастливое, и «NO» в противном случае (без кавычек).
Примечание
В первом примере количество счастливых цифр числа равно 3 (первая и последние две цифры), поэтому ответ «NO».
Во втором примере все цифры числа — счастливые, а их общее количество — 7, поэтому ответ «YES».
В третьем примере в числе нет счастливых цифр, поэтому ответ «NO».
Примеры
| № | Входные данные | Выходные данные |
|
1
|
40047
|
NO
|
|
2
|
7747774
|
YES
|
|
3
|
1000000000000000000
|
NO
|