Gunung Hedjokramat, Indonesia (mountain)