コケたらってどのくらいならコケた扱いになる？
100億越える程度だったらここではコケ扱いされそうだけど打ちきりにはならんと思うんだが