A 25 foot ladder leans against a house. How far is the foot of the ladder from the base of the building if the top of the ladder is 20 feet from the ground?