I find an awesome pair of red Jimmy Choo ‘Romy 100’ heels for 35% off. If the sale price is $812.50, what was the original price before the markdown?