... it, what was the original price of the shirt after the 12% discount?