23とかサークル参加で13000人入っとる計算やのに
差し引いたら一般5000人やんけ…