一本书原价42元,现打八五折销售,此时买这本书便宜多少元?