Nuestros indios bautizaron a los ratones con el nombre de hucuchas, esto es, salidos del mar.