Run id: 4835

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

58

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

No

------Your output-----

no