"Høyfjellstopp" er et 13-bokstavers substantiv som brukes som synonym for "Grålum". Grålum betyr: En topp i høyfjellsområdet.