1コイン100円になったとしたら時価総額何位くらいだ?