20050417 unknown: How is the height of Mt Everest calculated?