El Teide, 3718m