Patrick bought a pair of jeans which originally cost $88 at a 25% discount. How much was marked off the original price?