A window washer has a 15-foot extension ladder. how far away from the building should the foot of the ladder be placed to reach 12 feet up the building?