19,400 ft., the highest peak in Africa.