Father and mother took Xiaoling and three classmates to the park. Adult ticket: 5 yuan each; child ticket: 2.5 yuan each, how much does it cost to buy tickets?
爸爸、妈妈带着小玲和3名同学去逛公园．成人票：每张5元；儿童票：每张2.5元，买门票一共需要多少钱？
<result>10</result>