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.|

RGB7537 - Азтай хэсэг

Петя азтай тоонд дуртай. Таны мэдэж байгаачлан азтай тоо гэдэг нь бичлэгтээ зөвхөн 4 болон 7 цифр агуулдаг тоо юм. Жишээ нь 477444 тоонууд нь азтай тоо бол 517467 тоонууд азтай тоо биш юм.

Петя "бараг азтай тоо" гэж ямар нэг азтай тоонд үлдэгдэлгүй хуваагддаг тоог нэрлэхээр шийджээ. Тэгвэл өгөгдсөн тоо "бараг азтай тоо" эсэхийг шалга.

Input

Оролт ганц (1n1000) тоо байна.

Output

Өгөгдсөн n тоо бараг азтай тоо бол "YES" эсрэг тохиолдолд "NO" гэж гарга.

Example

Input 1:

47

Output 1:

YES

Input 2:

16

Output 2:

YES

Input 3:

78

Output 3:

NO


Нэмсэн:Bataa
Огноо:2013-03-15
Хугацааны хязгаарлалт: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.