井の頭線に国電の入線実績があるらしいですが、形式は何系なのでしょうか?