「游族杯」上海市高校程序设计邀请赛暨华东师范大学第九届 ECNU Coder 程序设计竞赛 (热身赛)

C. 今天不是愚人节

单点时限: 2.0 sec

内存限制: 256 MB

输入格式

输入一个整数 $n$ $(0 \lt n \lt 10000)$,可能带前导 0。

输出格式

输出 YESNO

样例

Input
0001
Output
NO
Input
9999
Output
YES

提示

这次连提示都没有。