五一黄金周期间,公园票价上浮百分之五十后是12元,这个公园原票价多少元?