Auction Raises 25K For Johnson County Library