During the "National Day" period, "Chongbai" electrical appliances are discounted and promoted. A TV with an original price of 4,800 yuan is sold at a 15% discount. How much is the current price?
"国庆"期间，"重百"电器打折促销，一台原价4800元的电视，打八五折出售，现价卖多少元．
<gadget id="calculator">85 / 100</gadget>
<output>17/20 = around 0.85</output>

<gadget id="calculator">4_800 * (17/20)</gadget>
<output>4_080</output>

<result>4_080</result>