別称えらいてんちょう。