In the "New Year's Day Promotion" activity in a shopping mall, washing machines with an original price of 1,000 yuan are sold at a 15% discount. What is the price?
一家商场的"元旦大促销"活动中，原价1000元的洗衣机，打八五折出售，售价是多少元．
<gadget id="calculator">85 / 100</gadget>
<output>17/20 = around 0.85</output>

<gadget id="calculator">1_000 * (17/20)</gadget>
<output>850</output>

<result>850</result>