[110A] Números casi de la suerte

Enlace a Codeforces

*Petya ama los números de la suerte. Sabemos que los números de la suerte son los enteros positivos cuya representación decimal contiene sólo los dígitos de la suerte 4 y 7. Por ejemplo, los números 47, 744, y 4 son de la suerte y 5, 17, y 467 no lo son.

Desafortunadamente, no todos los números son de la suerte. Peya llama a un número casi de la suerte si el número de dígitos de la suerte del número es un número de la suerte. Él se pregunta si un número $n$ es casi de la suerte o no.

Entrada

Un entero $n$ ($1 \leq n \leq 10^18$).

Por favor, no uses el especificador %lld para leer o escribir números de 64 bits en C++. Se prefiere el uso de flujos cin y cout, o el especificador %l64d.

Salida

Imprime en una línea "YES" si $n$ es casi de la suerte. De otra forma, imprime "NO"(sin las comillas).

Ejemplos

input:
40047

ouput:
NO

input:
7747774

output:
YES

input: 
1000000000000000000

output:
NO

Nota

En el primer ejemplo hay 3 dígitos de la suerte (el primer y el último), así que la respuesta es "NO".

En el segundo ejemplo hay 7 dígitos de la suerte, 7 es un número de la suerte, así que la respuesta es "YES".

En el tercer ejemplo no hay dígitos de la suerte, así que la respuesta es "NO".