A new movie is shown in the Cinema of the Cultural Palace, and each ticket is 40 yuan. Ding Ding and his parents took the discount card to buy tickets, each ticket was 15% off, how much did they spend in total?
文化宫电影院播放一部新电影，每张票40元．丁丁和父母三人拿着优惠卡去买票，每张票打八五折，他们一共要用多少钱？
<gadget id="calculator">85 / 100</gadget>
<output>17/20 = around 0.85</output>

<gadget id="calculator">40 * (17/20) * 3</gadget>
<output>102</output>

<result>102</result>