“六一”儿童节时，爸爸、妈妈带小朋游公园，买门票共用去17.5元，已知一张大人票与三张小孩票价相等，一张大人票价（    ）元。