五一黄金周期间,某公园票价上浮50%后是12元,这个公园原来票价多少元