Run id: 123237

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

83

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

Yes

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

yes