The original price of a branded coat is 1,250 yuan. Liansheng Plaza is offering a 30% discount on New Year's Day promotions. What is the price of this coat after the discount?
一件品牌大衣原价是1250元，联盛广场元旦促销活动，七折出售，这件大衣打折后的价钱是多少元．
<gadget id="calculator">70 / 100</gadget>
<output>7/10 = around 0.7</output>

<gadget id="calculator">1_250 * (7/10)</gadget>
<output>875</output>

<result>875</result>