国家公務員のボーナスは東証一部上場企業の日経225の平均ボーナスと同じぐらいなのかな?