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 ___ m if the angle made by the rope with the ground level is 30∘ .