Run id: 7881

------Input------

789

------Answer-----

NO
------Your output-----

YES