A circus artist is climbing a 20m long rope, which is tightly stretched and tied from the top of a vertical pole to the ground. The height of the pole is