今まで国鉄、JRで10000番台とかは出ていないよね。
例えば313-10000とか出たらかなりの種類ということに。