Số gần may mắn (Nearly Lucky Number)

Nguồn: Codeforces

Phiên bản: Phước Hưng OJ Extended

Đề bài

Một chữ số được gọi là may mắn khi bằng 4 hoặc 7. Đếm số chữ số may mắn trong biểu diễn thập phân của số nguyên dương $n$. Gọi số đếm đó là $c$; in YES nếu $c$ cũng là số chỉ gồm các chữ số 4 hoặc 7, ngược lại in NO. Vì $n\le10^{18}$ chỉ có tối đa 19 chữ số, điều kiện tương đương $c=4$ hoặc $c=7$.

Input

Một số nguyên dương $n$.

Output

In chính xác YES hoặc NO.

Subtask

• Subtask 1 (20%): $1\le n\le999$.
• Subtask 2 (30%): $1\le n\le10^9$.
• Subtask 3 (50%): $1\le n\le10^{18}$.

Ví dụ

Ví dụ 1

Input

40047

Output

NO

Giải thích

Các chữ số may mắn là 4,4,7: có 3 chữ số. Số 3 không phải số may mắn nên in NO.

Ví dụ 2

Input

7747774

Output

YES

Giải thích

Có bảy chữ số và cả bảy đều là 4 hoặc 7. Số đếm 7 là may mắn nên in YES.