一本书打八五折后，便宜了9元，这本书原价是元。