After a number is enlarged by 100 times, and then reduced by 1000 times, it is 85. What is the original number?
一个数扩大100倍后，再缩小1000倍是85，原数是多少．
<gadget id="calculator">85 * 10</gadget>
<output>850</output>

<result>850</result>