How much is the original price of a jacket of a brand of 800 yuan after a 15% discount?
某品牌上衣原价800元打八五折后是多少元．
<gadget id="calculator">85 / 100</gadget>
<output>17/20 = around 0.85</output>

<gadget id="calculator">800 * (17/20)</gadget>
<output>680</output>

<result>680</result>