京急1000はあれだけバリエーションあっても同一形式扱い