A Dereck le encantan los números de la suerte. Todos sabemos que los números de la suerte son enteros positivos cuyas representaciones decimales contienen solo los dígitos de la suerte 4 y 7. Por ejemplo, los números 47, 744, 4 son números afortunados, y 5, 17, 467 no.

La única línea contiene un número entero n (1 ≤ n ≤ 100000000).

Imprima en una sola línea "SI" si N es un número casi afortunado. De lo contrario, imprima "NO" (sin las comillas).