東急砧線が残ってたら、時代的に7200が入ってたかな?