В школе провели большую викторину, и каждому участнику выдали идентификационный номер. Организаторы считают номер удачным, если он содержит цифры 4 и 7.

Для каждого участника вычисляют уровень удачи его номера — это количество цифр 4 и 7 в записи номера.

Но на доску почёта попадают не все. Участник получает специальный значок, только если его уровень удачи сам является удачным числом, то есть состоит только из цифр 4 и 7.

По данному номеру участника определите, получит ли он значок.

Входные данные

В единственной строке дан идентификационный номер участника n.

Гарантируется, что номер состоит только из цифр и не содержит ведущих нулей.

Выходные данные

Выведите YES, если уровень удачи номера является удачным числом, и NO в противном случае.

Примеры

Пример 1

Входные данные

40047

Выходные данные

NO

Пример 2

Входные данные

7747774

Выходные данные

YES

Пояснение

В первом примере в номере 40047 ровно 3 цифры, равные 4 или 7. Число 3 не является удачным.

Во втором примере в номере 7747774 ровно 7 цифр, равных 4 или 7. Число 7 является удачным, поэтому отве