사람들은 그때부터 코코미를 '제갈코미' 라고 불렀다