A 25-foot ladder is leaning against a building. The angle the ladder makes with the ground is 71°. How far up does the ladder reach on the building?