Pico El Teide, 3718m