De Kock-top, Indonesia (peak)