伊豆箱根鉄道の7000系もJR乗り入れを想定していた。