Input: What is the height of the mountain that is also known as Trinserhorn ?
Output: 3028