The angle of elevation of a ladder is 19∘ and the ladder is 12 feet from the wall. What is the height of the ladder in feet?