A color TV is 800 yuan after a 20% discount. What is the original price of this color TV?
一台彩电打8折后是800元，这台彩电原价是多少元．
<gadget id="calculator">80 / 100</gadget>
<output>4/5 = around 0.8</output>

<gadget id="calculator">800 / (4/5)</gadget>
<output>1_000</output>

<result>1_000</result>