>>661
37兆じゃなかった?
うろ覚えだけどざっと(3.7±0.8)×10^13だった気がする