Aunt Zhang deposited 10,000 yuan in the bank for 3 years, with an annual interest rate of 4.25%. According to the current national regulations, the 5% interest tax can be exempted. After the maturity, how much money can Aunt Zhang withdraw?
张阿姨在银行存了1万块钱，定期3年，年利率为4.25%，按现在国家规定可以免征5%的利息税，到期后，张阿姨共可以取出多少钱？
<gadget id="calculator">4.25 / 100</gadget>
<output>0.0425</output>

<gadget id="calculator">5 / 100</gadget>
<output>1/20 = around 0.05</output>

<gadget id="calculator">1 - (1/20)</gadget>
<output>19/20 = around 0.95</output>

<gadget id="calculator">10_000 * 0.0425 * 3 * (19/20)</gadget>
<output>1_211.25</output>

<gadget id="calculator">10_000 + 1_211.25</gadget>
<output>11_211.25</output>

<result>11_211.25</result>