Qual é os nomes dos 7 anões?

Acontece que entre seus alunos a gentil professora contava com sete anões, tal como naquele famoso desenho da Disney. Seus nomes eram: Atchim, Dengoso, Dunga, Feliz, Mestre, Soneca e Zangado.