公园的成人票每张20元，儿童票每张13元，王阿姨带7个小朋友去公园玩，买门票一共用了多少元？