小林和他的九位同学去公园游玩，每张门票的价格是12.5元，他们买门票一共需要多少钱？