Run id: 115620

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

8051

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

815

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

0805104826752