国鉄時代の量産された交直流電機ってそもそもEF30、EF80、EF81しかないんじゃね?