During the May Day promotion in the shopping mall, a color TV was originally priced at 5,200 yuan, but now it is on sale at a 15% discount. How much is the current price of this color TV?
商场五一节促销活动，一台彩电原价5200元，现在八五折出售，这台彩电现价多少元？
<gadget id="calculator">85 / 100</gadget>
<output>17/20 = around 0.85</output>

<gadget id="calculator">5_200 * (17/20)</gadget>
<output>4_420</output>

<result>4_420</result>