Vi har kun dette navnet som hentet fra et amtskart fra 1800-tallet. Selve Čokka er vel egentlig hele dette fjellpartiet. Vi ser at vi har en høyere topp lenger inn i fjellpartiet (1237). Kartverket hadde en gang som mål å få navn på alle fjell over 1000 meter. Lurer på hvor langt de er kommet?
Olderdalen, bygda vår 