On May Day, computer sales stores will be rewarded with a 15% discount. The original price of a laptop computer is 12,000 yuan, how much discount can you buy on May Day?
五一节，电脑销售店按八五折优惠酬宾．一款笔记本电脑原价12000元，在五一节购买可以优惠多少元？
<gadget id="calculator">85 / 100</gadget>
<output>17/20 = around 0.85</output>

<gadget id="calculator">1 - (17/20)</gadget>
<output>3/20 = around 0.15</output>

<gadget id="calculator">12_000 * (3/20)</gadget>
<output>1_800</output>

<result>1_800</result>