Koczek to miejscowość w to miejscowość, która 1945 należała do Pod zarządem polskim i znajdowała się w okręgu administracyjnym Pisz.
Koczek to miejscowość należąca dawniej do Rzeszy Niemieckiej. W Rzeszy Niemieckiej miejscowość nazywała się Waldersee. Dziś miejscowość nazywa się Koczek i należy do Polska.