シーチケ分ももちろん入ってるんだろうけど、そもそもシーチケ民ってどんくらいいるんだろね