Problem hidden
|This problem was hidden by Editorial Board member probably because it has incorrect language|version or invalid test data, or description of the problem is not clear.|

RGB7325 - Бараг л азын дугаар

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

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

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

Input

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

Output

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

Example

Input 1:

40047

Output 1:

NO

Input 2:

7747774

Output 2:

YES

Input 3:

1000000000000000000

Output 3:

NO


Нэмсэн:Bataa
Огноо:2014-03-09
Хугацааны хязгаарлалт:1s
Эх кодын хэмжээний хязгаарлалт:50000B
Memory limit:1536MB
Cluster: Cube (Intel G860)
Програмчлалын хэлүүд:ADA95 ASM32 BASH BF C NCSHARP CSHARP C++ 4.3.2 CPP C99 CLPS LISP sbcl LISP clisp D ERL FORTRAN HASK ICON ICK JAVA JS-RHINO JULIA LUA NEM NICE OCAML PAS-GPC PAS-FPC PERL PHP PIKE PRLG-swi PYTHON PYPY3 PYTHON3 RUBY SCALA SCM guile ST TCL WHITESPACE
Эх сурвалж:Codeforces

© Spoj.com. All Rights Reserved. Spoj uses Sphere Engine™ © by Sphere Research Labs.