The original price of a washing machine is 800 yuan. If it is sold at a 25% discount, what is the current price?
一台洗衣机原价800元，如果按七五折出售，现在的价格是多少元．
<gadget id="calculator">75 / 100</gadget>
<output>3/4 = around 0.75</output>

<gadget id="calculator">800 * (3/4)</gadget>
<output>600</output>

<result>600</result>