“六•一”儿童节，星星书店的图书全部打八折出售，一本《格林童话》原价25元，这本书的现价是多少元？