我、爸爸、妈妈一起去公园玩，买门票一共需要多少元？儿童票：6元 成人票：9元。