“五一”劳动节，商场开展促销活动，所有商品一律八五折。李阿姨在该商场买了一台电视机，花了4250元。这台电视机的原价是多少元？