Run id: 2385

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

2 47

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

8500

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

7750