3277. 今天不是愚人节

Easy输入输出分支

时间限制:2000 ms

内存限制:256 MiB

题面

输入格式

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

输出格式

输出 YESNO

样例

输入

0001

输出

NO

输入

9999

输出

YES

提示

这次连提示都没有。