The adult ticket of the History Museum is 25 yuan, and the student ticket is 12 yuan. Four teachers from a certain school lead 112 students to visit a history museum. How much does it cost to buy tickets?
历史博物馆成人票25元，学生票12元．某学校4位老师带领112名学生参观历史博物馆，购买门票需要多少钱？
<gadget id="calculator">25 * 4</gadget>
<output>100</output>

<gadget id="calculator">12 * 112</gadget>
<output>1_344</output>

<gadget id="calculator">100 + 1_344</gadget>
<output>1_444</output>

<result>1_444</result>