On Children's Day, shopping malls offer a 20% discount on student supplies. With the original price of buying 12 pencils, how many pencils can you buy on Children's Day?
"六一"儿童节，商场对学生用品八折优惠，用原来买12支铅笔的钱，"六一"节可以买多少支铅笔．
<gadget id="calculator">80 / 100</gadget>
<output>4/5 = around 0.8</output>

<gadget id="calculator">1 * (4/5)</gadget>
<output>4/5 = around 0.8</output>

<gadget id="calculator">12 / (4/5)</gadget>
<output>15</output>

<gadget id="calculator">1 * 15</gadget>
<output>15</output>

<result>15</result>