A ladder 15 m long leans against a vertical pole, making an angle of 72º with the horizontal. Calculate, correct to one decimal place, the distance between the foot of the ladder and the pole.