>>63
パトレイバーに出てくる他のレイバーと数字がかぶらないようにしただけじゃないかな？7や9は既に使ってるし