A. Бараг л азын дугаар

хугацааны хязгаарлалт 2 секунд

санах ойн хязгаарлалт 256 мегабайт

оролт стандарт оролт

гаралт стандарт гаралт

Петя азын дугааруудад дуртай. Азын дугаар гэдэг нь зөвхөн $4$ ба $7$-ын цифрүүдээс бүтсэн тоог хэлнэ. Жишээ нь $47$, $744$, $4$ нь азын дугаарууд харин $5$, $17$, $467$ ер нь биш.

Харамсалтай нь бүх тоонууд азын дугаар байж чадахгүй. Тиймээс Петя тухайн тоон доторх азын цифрүүдийн тоо нь азын дугаар байж чадвал бараг азын дугаар гэж нэрлэжээ.

Өгөгдсөн тоо бараг азын дугаар эсэхийг тодорхойл.

Оролт

Зөвхөн ганц тоо $n$ ($1 ≤ n ≤ 10^{18}$).

C++ хэл дээр 64-битийн тоо хэрэглэх үед %lld-г хэрэглэхгүй байхыг зөвлөж байна. %I64d, эсвэл cin, cout стриймийг ашиглана уу.

Гаралт

Өгөгдсөн тоо бараг азын дугаар байвал "YES" үгүй бол "NO".

Орчуулсан: gmunkhbaatarmn, Энхсанаа

Жишээ тэстүүд

Оролт
40047
Гаралт
NO
Оролт
7747774
Гаралт
YES
Оролт
1000000000000000000
Гаралт
NO

Тэмдэглэл

In the first sample there are 3 lucky digits (first one and last two), so the answer is "NO$".

In the second sample there are 7 lucky digits, 7 is lucky number, so the answer is "YES$".

In the third sample there are no lucky digits, so the answer is "NO$".

Сэтгэгдлүүдийг ачааллаж байна...